{"push_id":1068059969,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d243be56a0112a126b9f93a0b19d20f4c148291a","before":"7fb880f8bf6518ecc0eef8a74bb3d0df145ad17a","commits":[{"sha":"d243be56a0112a126b9f93a0b19d20f4c148291a","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Fix split_pair_case_tac when pair_CASE is in assumptions\n\nProblem was that the helper function find_split was failing (raising a\nHOL_ERR) before it was applied to a goal, making it impossible to catch\nthe exception with an ORELSE.\n\nAdd two tests demonstrating successful execution","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/d243be56a0112a126b9f93a0b19d20f4c148291a"}]}