summaryrefslogtreecommitdiff
path: root/contrib/firstorder
ModeNameSize
-rw-r--r--formula.ml7811logplain
-rw-r--r--formula.mli2178logplain
-rw-r--r--g_ground.ml43540logplain
-rw-r--r--ground.ml4685logplain
-rw-r--r--ground.mli690logplain
-rw-r--r--instances.ml6037logplain
-rw-r--r--instances.mli884logplain
-rw-r--r--rules.ml6320logplain
-rw-r--r--rules.mli1640logplain
-rw-r--r--sequent.ml7910logplain
-rw-r--r--sequent.mli1861logplain
-rw-r--r--unify.ml4360logplain
-rw-r--r--unify.mli962logplain