{"push_id":576683030,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7637253338b985eab0dfb712d5009b7f661e2b35","before":"788ebda57556d19e932e70eda4f0632a7e7893fc","commits":[{"sha":"7637253338b985eab0dfb712d5009b7f661e2b35","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"pack contexts as theorems, so they can be saved in a theory\n\nso lcaCtxt becomes a theory again, and the outer context it builds is\nserialised as a theorem within it.","distinct":true,"url":"https://api.github.com/repos/CakeML/hol-reflection/commits/7637253338b985eab0dfb712d5009b7f661e2b35"}]}