GitHub PushEvent at 2014-10-16 03:30:21
Repository: master-thesis
Actor: chrisbloecker
Payload: {"shas":[["7326274a02e6398c1a205c1d298cdfc8d7a4aa6a","765157b9f305dc215a4b84ba90ee3dcbac2b42cd@googlemail.com","semantics of choice and sequential composition","Christopher Blöcker",true]],"size":1,"ref":"refs/heads/master","head":"7326274a02e6398c1a205c1d298cdfc8d7a4aa6a"}