Sebastian Ullrich b4e9ba1500 perf: specialize more monad instances		2021-06-17 11:25:58 +02:00
..
Basic.lean	perf: specialize more monad instances	2021-06-17 11:25:58 +02:00
ElabTerm.lean	feat: improve error recovery at Tactic.elabTerm	2021-05-06 20:44:36 -07:00
Generalize.lean	chore: refactoring and cleanup	2021-03-17 14:56:08 -07:00
Induction.lean	chore: fix mutable variable shadowing	2021-05-22 19:24:41 -07:00
Injection.lean	chore: remove parser! and tparser!	2021-03-11 09:36:58 -08:00
Location.lean	fix: location notation and simp	2021-03-19 19:54:22 -07:00
Match.lean	feat: add (generalizing := true/false) optional attribute to match	2021-04-15 17:04:25 -07:00
Rewrite.lean	chore: remove dead variable	2021-05-10 13:41:55 -07:00
Simp.lean	fix: report (pending) type mismatch errors in simp arguments	2021-06-16 11:35:49 -10:00