aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/firstorder
ModeNameSize
-rw-r--r--formula.ml7686logplain
-rw-r--r--formula.mli2094logplain
-rw-r--r--g_ground.ml44248logplain
-rw-r--r--ground.ml4583logplain
-rw-r--r--ground.mli642logplain
-rw-r--r--ground_plugin.mllib72logplain
-rw-r--r--instances.ml5934logplain
-rw-r--r--instances.mli830logplain
-rw-r--r--rules.ml6188logplain
-rw-r--r--rules.mli1598logplain
-rw-r--r--sequent.ml7992logplain
-rw-r--r--sequent.mli1805logplain
-rw-r--r--unify.ml4265logplain
-rw-r--r--unify.mli915logplain