{"push_id":714907903,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"c929df6a00dedf9bee83478e1104fd91bf8db712","before":"a5d949aaa68e7a116032deea16d6f27546e320a1","commits":[{"sha":"da05b2512e0492914cdc8c32f0e6fccc2ed01b2f","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"IvyToRobinson: support new_symbol rules justified by equations.\n\nFixes #222.","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/da05b2512e0492914cdc8c32f0e6fccc2ed01b2f"},{"sha":"c929df6a00dedf9bee83478e1104fd91bf8db712","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Only patch up proof if necessary.","distinct":false,"url":"https://api.github.com/repos/gapt/gapt/commits/c929df6a00dedf9bee83478e1104fd91bf8db712"}]}