aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/firstorder
ModeNameSize
-rw-r--r--formula.ml8155logplain
-rw-r--r--formula.mli2079logplain
-rw-r--r--g_ground.ml45213logplain
-rw-r--r--ground.ml4102logplain
-rw-r--r--ground.mli660logplain
-rw-r--r--ground_plugin.mlpack54logplain
-rw-r--r--instances.ml6678logplain
-rw-r--r--instances.mli815logplain
-rw-r--r--rules.ml7474logplain
-rw-r--r--rules.mli1622logplain
-rw-r--r--sequent.ml6458logplain
-rw-r--r--sequent.mli1925logplain
-rw-r--r--unify.ml4621logplain
-rw-r--r--unify.mli964logplain