{"push_id":1204502534,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"4a68817bcf322a2261ab261c383a59b303509160","before":"f78b66e5d13f72660efa7cc50ef71617bfba5266","commits":[{"sha":"4e264370864a60eacfbe94e27a6e1c7884fbe43d","author":{"name":"Michael Norrish","email":"9cd0b5a7782471560cd83004d82fb194c3997b2f@nicta.com.au"},"message":"Write general imp_res_tac-like tool for combining thms","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/4e264370864a60eacfbe94e27a6e1c7884fbe43d"},{"sha":"d95230c856e2718b069bc55c185ef5d12018ab83","author":{"name":"Michael Norrish","email":"9cd0b5a7782471560cd83004d82fb194c3997b2f@nicta.com.au"},"message":"Put goal_assum into Tactical's signature","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/d95230c856e2718b069bc55c185ef5d12018ab83"},{"sha":"4a68817bcf322a2261ab261c383a59b303509160","author":{"name":"Michael Norrish","email":"9cd0b5a7782471560cd83004d82fb194c3997b2f@nicta.com.au"},"message":"Fix build errors prompted by goal_assum","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/4a68817bcf322a2261ab261c383a59b303509160"}]}
{"actor":{"display_login":"mn200"}}