summaryrefslogtreecommitdiff
path: root/plugins/firstorder
ModeNameSize
-rw-r--r--formula.ml7674logplain
-rw-r--r--formula.mli2082logplain
-rw-r--r--g_ground.ml44767logplain
-rw-r--r--ground.ml3803logplain
-rw-r--r--ground.mli630logplain
-rw-r--r--ground_plugin.mllib72logplain
-rw-r--r--instances.ml5936logplain
-rw-r--r--instances.mli816logplain
-rw-r--r--rules.ml6176logplain
-rw-r--r--rules.mli1586logplain
-rw-r--r--sequent.ml5955logplain
-rw-r--r--sequent.mli1793logplain
-rw-r--r--unify.ml4251logplain
-rw-r--r--unify.mli903logplain