GitHub PushEvent at 2014-02-15 22:26:41
Repository: lean
Actor: leodemoura
Payload: {"shas":[["c526e5ec0032e89355b75f521c5edf49cc7e7e55","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(builtin/kernel): prove false_elim without using case\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":1,"ref":"refs/heads/master","head":"c526e5ec0032e89355b75f521c5edf49cc7e7e55"}