GitHub PushEvent at 2014-04-02 09:20:50
Repository: theorem_prover
Actor: boyers
Payload: {"shas":[["d7f6d33726c96fea04ba74d35426801aee9c97a9","130f76ffe0124d1b891cc14f04ea5158c47c0a7a@mit.edu","lemmas bugfix","Stephan Boyer",true]],"size":1,"ref":"refs/heads/master","head":"d7f6d33726c96fea04ba74d35426801aee9c97a9"}