summaryrefslogtreecommitdiff
path: root/contrib/first-order
ModeNameSize
-rw-r--r--formula.ml7782logplain
-rw-r--r--formula.mli2178logplain
-rw-r--r--g_ground.ml43499logplain
-rw-r--r--ground.ml4685logplain
-rw-r--r--ground.mli690logplain
-rw-r--r--instances.ml6032logplain
-rw-r--r--instances.mli884logplain
-rw-r--r--rules.ml6261logplain
-rw-r--r--rules.mli1640logplain
-rw-r--r--sequent.ml7904logplain
-rw-r--r--sequent.mli1861logplain
-rw-r--r--unify.ml4360logplain
-rw-r--r--unify.mli962logplain