Leonardo de Moura 6a7e997534 chore: improve error message		2020-10-15 10:44:16 -07:00
..
CaseArraySizes.lean
CaseValues.lean	feat: add introNP and intro1P	2020-09-18 12:35:25 -07:00
Match.lean	chore: improve error message	2020-10-15 10:44:16 -07:00
MatchPatternAttr.lean
MVarRenaming.lean