Leonardo de Moura 539c43e153 fix: typo ... closes #238		2020-12-28 15:55:25 -08:00
..
Basic.lean	fix: typo	2020-12-28 15:55:25 -08:00
BasicAux.lean	chore: remove #lang lean4 header	2020-10-25 09:54:07 -07:00
Control.lean	chore: merge src/Control files	2020-11-10 18:47:23 -08:00