Gabriel Ebner d68665f7a2 chore(library/init/meta/tactic): fix copy-paste error in docstring		2017-07-23 09:48:08 +01:00
..
algebra
category
data	perf(frontends/lean): add notation #[...]	2017-07-21 04:20:48 -07:00
meta	chore(library/init/meta/tactic): fix copy-paste error in docstring	2017-07-23 09:48:08 +01:00
native	feat(kernel/expr): allow metavariables to have user-facing names	2017-07-16 07:16:41 -07:00
cc_lemmas.lean
classical.lean
coe.lean
core.lean	perf(frontends/lean): add notation #[...]	2017-07-21 04:20:48 -07:00
default.lean
function.lean
funext.lean
init.md
logic.lean
propext.lean
relator.lean
util.lean
wf.lean