aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/firstorder
ModeNameSize
-rw-r--r--formula.ml7780logplain
-rw-r--r--formula.mli2084logplain
-rw-r--r--g_ground.ml45695logplain
-rw-r--r--ground.ml3802logplain
-rw-r--r--ground.mli662logplain
-rw-r--r--ground_plugin.mlpack54logplain
-rw-r--r--instances.ml6413logplain
-rw-r--r--instances.mli783logplain
-rw-r--r--rules.ml7441logplain
-rw-r--r--rules.mli1585logplain
-rw-r--r--sequent.ml6087logplain
-rw-r--r--sequent.mli1835logplain
-rw-r--r--unify.ml4297logplain
-rw-r--r--unify.mli903logplain