GitHub PushEvent at 2014-01-24 21:47:59
Repository: auctions
Actor: clange
Payload: {"shas":[["151ab86782af82b5843f2778068d16e9b3424ff4","ae4c970d931e6b451453c30714c9a9bcf9f388d1@gmail.com","moved infix operator \"partitions\" to Partitions.thy","Christoph Lange",true],["b96769882173e067b279eda17979bf3d22e02a38","ae4c970d931e6b451453c30714c9a9bcf9f388d1@gmail.com","lemma exists_partition_of_larger_set\n(moved from draft in Sandbox/p.thy)","Christoph Lange",true]],"size":2,"ref":"refs/heads/master","head":"b96769882173e067b279eda17979bf3d22e02a38"}