Leonardo de Moura 8135d37ddb feat: add MatcherApp.addArg ... Helper method for adding a new (dependent) argument to a (dependent) matcher.		2020-09-22 18:56:02 -07:00
..
CaseArraySizes.lean
CaseValues.lean	feat: add introNP and intro1P	2020-09-18 12:35:25 -07:00
Match.lean	feat: add MatcherApp.addArg	2020-09-22 18:56:02 -07:00
MatchPatternAttr.lean
MVarRenaming.lean