Leonardo de Moura 9ef3ebbd5b refactor(*): delete HoTT support		2016-09-27 16:33:39 -07:00
..
rewriter	fix(CMakeLists.txt): quote CMake variables	2015-03-28 22:38:11 -04:00
CMakeLists.txt	refactor(*): delete HoTT support	2016-09-27 16:33:39 -07:00
deep_copy.cpp	chore(tests): fix some C++ unit tests	2016-06-10 18:29:41 -07:00
delayed_abstraction.cpp	feat(library/type_context): improved (and simplified) cache management for type_context	2016-08-23 17:56:58 -07:00
expr_lt.cpp	refactor(kernel/expr): remove silly overloads	2014-10-16 13:37:55 -07:00
head_map.cpp	chore(tests): fix some C++ unit tests	2016-06-10 18:29:41 -07:00
occurs.cpp	chore(tests): fix some C++ unit tests	2016-06-10 18:29:41 -07:00