GitHub PushEvent at 2014-04-18 18:03:53
Repository: mll-proof-equivalence
Actor: willemheijltjes
Payload: {"shas":[["6b08ddf3b01e6323e7ff63b4b10823cde70459c5","867e31359a37143537975b4b950d6dbea5a7c0f4@Willems-MacBook-Air.local","re-arranging and minor edits","Willem",true]],"size":1,"ref":"refs/heads/master","head":"6b08ddf3b01e6323e7ff63b4b10823cde70459c5"}