{"push_id":963432604,"size":1,"distinct_size":1,"ref":"refs/heads/isabelle2016","head":"34d29cccb8485809e46addd052dd298c111844ac","before":"6b095bb03d857e72dedc05dea2631ce4f52bf930","commits":[{"sha":"34d29cccb8485809e46addd052dd298c111844ac","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"Cornelius Diekmann"},"message":"fixed a lemma","distinct":true,"url":"https://api.github.com/repos/diekmann/topoS/commits/34d29cccb8485809e46addd052dd298c111844ac"}]}