GitHub PushEvent at 2014-06-30 07:52:51
Repository: lean
Actor: leodemoura
Payload: {"shas":[["6b538c5fc8aa693b157bb45a75c45ff172b6d5b4","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(library/standard): add 'iff' and 'cast'\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["ccdb96775f7d007bf0e1ffc8ba6619052162fe2a","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(frontends/lean/parser): allow 'assume'/'take'/'fun' as notation for apply tactic\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["3650ffdd4f2971e9cf18a593285e1ce7d2a47c9e","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(library/standard): add iff_mp_right and iff_mp_left\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["8d584e54da168bad2d3d61f84a7e336f391701b3","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(frontends/lean): add exact_apply\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":4,"ref":"refs/heads/master","head":"8d584e54da168bad2d3d61f84a7e336f391701b3"}