Leonardo de Moura 081dff288f fix: debug build		2022-04-13 13:12:53 -07:00
..
brec_on.cpp	feat: basic support for definitions at inductive declarations	2021-10-25 12:44:35 -07:00
brec_on.h	feat(library/constructions/brec_on): add brec_on and binduction_on for new inductive datatype module	2018-09-05 14:46:03 -07:00
cases_on.cpp	fix: dllexport functions not already annotated in header	2021-09-20 18:41:46 +02:00
cases_on.h	feat(*): use new inductive datatype module	2018-09-06 18:09:22 -07:00
CMakeLists.txt	chore(library/constructions): remove constructor (dead code)	2018-09-03 17:41:19 -07:00
init_module.cpp	chore(library/constructions): remove injective	2018-09-03 17:38:13 -07:00
init_module.h
no_confusion.cpp	feat: basic support for definitions at inductive declarations	2021-10-25 12:44:35 -07:00
no_confusion.h	feat(*): use new inductive datatype module	2018-09-06 18:09:22 -07:00
projection.cpp	fix: debug build	2022-04-13 13:12:53 -07:00
projection.h	chore: ignore {} annotations at mk_projections	2022-04-13 10:16:41 -07:00
rec_on.cpp	fix: dllexport functions not already annotated in header	2021-09-20 18:41:46 +02:00
rec_on.h	feat(*): use new inductive datatype module	2018-09-06 18:09:22 -07:00
util.cpp	feat: black list other auxiliary constructions	2021-04-02 16:21:54 -07:00
util.h	feat: black list other auxiliary constructions	2021-04-02 16:21:54 -07:00