Mario Carneiro ebb5b97d73 chore: move Bootstrap.Data -> Lean.Data		2022-08-31 11:48:57 -07:00
..
Basic.lean	feat: make (_ : a = b) hoverable in infoview	2022-08-25 18:38:21 +02:00
Builtins.lean	chore: remove unexpanded coercion support from pp.analyze	2022-08-24 21:58:13 -07:00
Options.lean	chore: apply suggestions from code review	2022-01-03 13:43:33 +01:00
SubExpr.lean	chore: move Bootstrap.Data -> Lean.Data	2022-08-31 11:48:57 -07:00
TopDownAnalyze.lean	chore: move Bootstrap.Data -> Lean.Data	2022-08-31 11:48:57 -07:00