GitHub PushEvent at 2014-06-15 03:46:29
Repository: hol-reflection
Actor: BenjaFallenstein
Payload: {"shas":[["dc32c97271be2682a915fa967b32cfee14a919a3","8e7dec285b15837919e35ad89939f884de44f465@gmail.com","reorganize a bit and try (unsuccessfully) to prove some simple properties","Benja Fallenstein",true]],"size":1,"ref":"refs/heads/master","head":"dc32c97271be2682a915fa967b32cfee14a919a3"}