aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/firstorder
ModeNameSize
-rw-r--r--formula.ml7647logplain
-rw-r--r--formula.mli2096logplain
-rw-r--r--g_ground.ml44998logplain
-rw-r--r--ground.ml3772logplain
-rw-r--r--ground.mli630logplain
-rw-r--r--ground_plugin.mllib72logplain
-rw-r--r--instances.ml6192logplain
-rw-r--r--instances.mli817logplain
-rw-r--r--rules.ml6726logplain
-rw-r--r--rules.mli1581logplain
-rw-r--r--sequent.ml5905logplain
-rw-r--r--sequent.mli1793logplain
-rw-r--r--unify.ml4289logplain
-rw-r--r--unify.mli903logplain