{"push_id":821024486,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"dcbc968a5bb128bde20cfe1cfc7538eb67d092b1","before":"f94c47aae7261bd23116ec339c9f0791aff91cfb","commits":[{"sha":"dcbc968a5bb128bde20cfe1cfc7538eb67d092b1","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Fix recently broken proofs in sep logic example\n\nI don't know why some automatically generated variables should have\nsuddenly started changing their names, but the change has certainly\noccurred. By using lcsymtacs.qcase_tac, it is possible to make sure that\ncertain names really do occur in the expected positions.","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/dcbc968a5bb128bde20cfe1cfc7538eb67d092b1"}]}