GitHub PushEvent at 2014-06-01 23:45:06
Repository: HOL
Actor: mn200
Payload: {"shas":[["844dd9fe6e2250d35df2f84eee8f45dd9d7df0ae","dedfb5d35184997352c96c03dbc128840e913dd8@nicta.com.au","Move groundEval test-cases to num/theories so that they can use numerals\n\nAlso make it compile under Moscow ML.","Michael Norrish",true]],"size":1,"ref":"refs/heads/master","head":"844dd9fe6e2250d35df2f84eee8f45dd9d7df0ae"}