{"push_id":1028718206,"size":1,"distinct_size":1,"ref":"refs/heads/logging","head":"b2b6ea798ec51e00b7dadc009e3c0547cf39d57e","before":"1c298aa41bd02f0066b8a8f1d5ebea0cc3d25c08","commits":[{"sha":"b2b6ea798ec51e00b7dadc009e3c0547cf39d57e","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"Fix treatment of list_CASE\n\nIts definition had been mistakenly deleted in the otd file (while trying\nto fix listTheory's foundations).","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/b2b6ea798ec51e00b7dadc009e3c0547cf39d57e"}]}