Leonardo de Moura 45163acf25 refactor(kernel/inductive): use local constants to represent introduction rules		2015-08-25 03:46:28 -07:00
..
CMakeLists.txt	feat(CMakeLists): add shared library	2015-08-13 11:21:05 -07:00
inductive.cpp	fix(frontends/lean,kernel/inductive): compilation errors in Debug mode	2015-08-16 19:02:48 -07:00
inductive.h	refactor(kernel/inductive): use local constants to represent introduction rules	2015-08-25 03:46:28 -07:00