aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/funind/recdef_plugin.mllib
blob: ec1f5436cacfbaf2f119d679ed2270d66375d0bb (plain)
1
2
3
4
5
6
7
8
9
10
11
Indfun_common
Glob_termops
Recdef
Glob_term_to_relation
Functional_principles_proofs
Functional_principles_types
Invfun
Indfun
Merge
G_indfun
Recdef_plugin_mod