Leonardo de Moura c5abd6868d feat(library/init/lean/name): add quick_lt		2018-04-30 11:29:26 -07:00
..
ir	refactor(init): init/category ==> init.control	2018-04-27 08:33:08 -07:00
parser	refactor(library/init): move option.lt	2018-04-30 11:19:38 -07:00
format.lean	feat(library/init): add wf_term_hack (unsound) axiom	2018-04-30 11:06:51 -07:00
name.lean	feat(library/init/lean/name): add quick_lt	2018-04-30 11:29:26 -07:00