Leonardo de Moura 91cb4aad2a refactor: simplify and document SimpLemma encoding		2021-04-10 15:03:04 -07:00
..
CongrLemmas.lean	feat: mkConstWithLevelParams	2021-03-20 08:28:18 -07:00
Main.lean	refactor: simplify and document SimpLemma encoding	2021-04-10 15:03:04 -07:00
Rewrite.lean	feat: add set of declarations to unfold at SimpLemmas	2021-03-17 18:52:23 -07:00
SimpAll.lean	refactor: simplify and document SimpLemma encoding	2021-04-10 15:03:04 -07:00
SimpLemmas.lean	refactor: simplify and document SimpLemma encoding	2021-04-10 15:03:04 -07:00
Types.lean	feat: allow users to mark definitions with [simp]	2021-03-17 19:11:55 -07:00