plugins/funind/recdef_plugin.mlpack


1
2
3
4
5
6
7
8
9

Indfun_common
Glob_termops
Recdef
Glob_term_to_relation
Functional_principles_proofs
Functional_principles_types
Invfun
Indfun
G_indfun