GitHub PushEvent at 2014-01-22 16:21:18
Repository: lean-leo
Actor: leodemoura
Payload: {"shas":[["94a3136904a90de9e35f2e6a532a6f75266a799d","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(builtin/kernel): add Hilbert's operator, and derive axiom of choice using it\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":1,"ref":"refs/heads/master","head":"94a3136904a90de9e35f2e6a532a6f75266a799d"}