{"push_id":912763297,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"45cb3e496be4029474d85e02a0034297c9ef6015","before":"f1619650b1faa3298ddc2847369116fd6e8fdffa","commits":[{"sha":"ec410a848d8a158647e19c346664ba553a51d855","author":{"email":"d5b7d7d50487a45bab95f509acac71276171a382@ut.ee","name":"Dominique Unruh"},"message":"lemma denotation_footprint_def2\n\nSplit Scratch.thy","distinct":true,"url":"https://api.github.com/repos/dominique-unruh/IsaCrypt/commits/ec410a848d8a158647e19c346664ba553a51d855"},{"sha":"f331adc98f5b61b9358598080ca8689c7dee0d26","author":{"email":"d5b7d7d50487a45bab95f509acac71276171a382@ut.ee","name":"Dominique Unruh"},"message":"Merge branch 'master' of github.com:dominique-unruh/IsaCrypt","distinct":true,"url":"https://api.github.com/repos/dominique-unruh/IsaCrypt/commits/f331adc98f5b61b9358598080ca8689c7dee0d26"},{"sha":"45cb3e496be4029474d85e02a0034297c9ef6015","author":{"email":"d5b7d7d50487a45bab95f509acac71276171a382@ut.ee","name":"Dominique Unruh"},"message":"Some missing theorems in Distr.thy","distinct":true,"url":"https://api.github.com/repos/dominique-unruh/IsaCrypt/commits/45cb3e496be4029474d85e02a0034297c9ef6015"}]}