Leonardo de Moura a821dcbff2 chore: enforce naming convention for theorems ... see issue #402 fix: `ElabTerm.lean`		2021-08-07 12:48:38 -07:00
..
FilePath.lean	feat: add convenience coercion from String to FilePath	2021-05-28 14:19:59 +02:00
IO.lean	chore: drop UntypedRef and use monotonic RpcRefs	2021-07-24 10:45:28 +02:00
IOError.lean	fix: IO.Error.alreadyExists may have an optional file name	2021-07-27 07:00:06 -07:00
Platform.lean	feat: initial Emscripten support	2021-06-06 15:34:44 +02:00
ST.lean	chore: enforce naming convention for theorems	2021-08-07 12:48:38 -07:00