{"push_id":796844361,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3df6c6b3318ff5bb9e097003d332d06c8004ad8d","before":"d3fe575aeef7a54d39287be3bc882d6513ce9731","commits":[{"sha":"3df6c6b3318ff5bb9e097003d332d06c8004ad8d","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Fix thm_to_string to use raw backend properly.\n\nThe term_to_string and type_to_string functions do this already.","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/3df6c6b3318ff5bb9e097003d332d06c8004ad8d"}]}