Leonardo de Moura bbd6946a15 refactor(library/logic/axioms): we have only one extra axiom		2015-07-29 13:36:23 -07:00
..
basic.lean	fix/feat(library/logic/connectives,library/data/{finset,set}): fix names or.left_distrib etc., fix implicit arguments, and make small additions	2015-07-27 07:46:59 -07:00
classical_inverse.lean	refactor(library/logic/axioms): we have only one extra axiom	2015-07-29 13:36:23 -07:00
comm_semiring.lean
default.lean
function.lean	feat(library/data/{finset,set}): various basic facts	2015-07-25 14:02:44 -04:00
map.lean
set.md