{"push_id":536778428,"size":1,"distinct_size":1,"ref":"refs/heads/trial","head":"8663830389d8d1e66108b8bad54cb0fc4147c956","before":"fc9792d28d169d567b6aedbfe471ed74bbd24bff","commits":[{"sha":"8663830389d8d1e66108b8bad54cb0fc4147c956","author":{"email":"b3f594e10a9edcf5413cf1190121d45078c62290@cecs.anu.edu.au","name":"Jeremy Dawson"},"message":"infix declaration for THEN_LT in Tactic.sml\n\nnot sure why this is needed - builds here without it, but not on GitHub;\nand clearly not needed for THEN in Tactic.sml","distinct":true,"url":"https://api.github.com/repos/jeremydaw/HOL/commits/8663830389d8d1e66108b8bad54cb0fc4147c956"}]}