Leonardo de Moura 3d603ec28e feat(kernel,library,frontends/lean,api): remove global universe levels from kernel and APIs		2017-02-08 17:41:44 -08:00
..
checker.cpp	feat(checker): only print axioms that are referenced by the specified theorems	2017-01-31 10:20:56 +01:00
CMakeLists.txt	feat(checker): add simple pretty-printing	2017-01-31 10:20:55 +01:00
simple_pp.cpp	feat(kernel,library,frontends/lean,api): remove global universe levels from kernel and APIs	2017-02-08 17:41:44 -08:00
simple_pp.h	feat(library/export,checker): add basic support for mixfix notation	2017-01-31 10:20:56 +01:00
text_import.cpp	feat(kernel,library,frontends/lean,api): remove global universe levels from kernel and APIs	2017-02-08 17:41:44 -08:00
text_import.h	chore(*): style	2017-01-31 11:04:21 -08:00