GitHub PushEvent at 2014-06-06 17:45:42
Repository: OpenLogic
Actor: audreysh
Payload: {"shas":[["dd9b9984028dd45e3b06a0867a8d5af6a0ee98db","82c1bb98d1c34fbc6f898c0371447ae5ff703dc1@gmail.com","def of substitution instance\n\nadded def of substitution instance from Aldo's notes","audreysh",true]],"size":1,"ref":"refs/heads/master","head":"dd9b9984028dd45e3b06a0867a8d5af6a0ee98db"}