GitHub PushEvent at 2014-07-08 06:19:01
Repository: uber-lazy
Actor: bhillery
Payload: {"shas":[["0d372a78425cc66314761faa89bc152e7cf2b8cd","ed104af00dec028fa33c09de2326ea94e937c10d@byu.net","Clarified the verbage for the Field Access Lemma","Ben Hillery",true]],"size":1,"ref":"refs/heads/master","head":"0d372a78425cc66314761faa89bc152e7cf2b8cd"}