aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/firstorder
ModeNameSize
-rw-r--r--formula.ml8429logplain
-rw-r--r--formula.mli2231logplain
-rw-r--r--g_ground.ml45396logplain
-rw-r--r--ground.ml4230logplain
-rw-r--r--ground.mli810logplain
-rw-r--r--ground_plugin.mlpack54logplain
-rw-r--r--instances.ml6821logplain
-rw-r--r--instances.mli965logplain
-rw-r--r--rules.ml7628logplain
-rw-r--r--rules.mli1774logplain
-rw-r--r--sequent.ml6509logplain
-rw-r--r--sequent.mli2006logplain
-rw-r--r--unify.ml4771logplain
-rw-r--r--unify.mli1116logplain