aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics
ModeNameSize
-rw-r--r--auto.ml19839logplain
-rw-r--r--auto.mli3135logplain
-rw-r--r--autorewrite.ml11742logplain
-rw-r--r--autorewrite.mli2223logplain
-rw-r--r--btermdn.ml5238logplain
-rw-r--r--btermdn.mli1559logplain
-rw-r--r--class_tactics.ml62181logplain
-rw-r--r--class_tactics.mli2024logplain
-rw-r--r--contradiction.ml5133logplain
-rw-r--r--contradiction.mli705logplain
-rw-r--r--dn.ml2513logplain
-rw-r--r--dn.mli1166logplain
-rw-r--r--dnet.ml10175logplain
-rw-r--r--dnet.mli4514logplain
-rw-r--r--doc.tex246logplain
-rw-r--r--eauto.ml17757logplain
-rw-r--r--eauto.mli1400logplain
-rw-r--r--elim.ml5386logplain
-rw-r--r--elim.mli1055logplain
-rw-r--r--elimschemes.ml6294logplain
-rw-r--r--elimschemes.mli1489logplain
-rw-r--r--eqdecide.ml7869logplain
-rw-r--r--eqdecide.mli1007logplain
-rw-r--r--eqschemes.ml41368logplain
-rw-r--r--eqschemes.mli2129logplain
-rw-r--r--equality.ml72146logplain
-rw-r--r--equality.mli5739logplain
-rw-r--r--hints.ml53827logplain
-rw-r--r--hints.mli9896logplain
-rw-r--r--hipattern.ml18999logplain
-rw-r--r--hipattern.mli6647logplain
-rw-r--r--inv.ml20076logplain
-rw-r--r--inv.mli1190logplain
-rw-r--r--leminv.ml10066logplain
-rw-r--r--leminv.mli792logplain
-rw-r--r--tacticals.ml25634logplain
-rw-r--r--tacticals.mli12629logplain
-rw-r--r--tactics.ml198075logplain
-rw-r--r--tactics.mli19123logplain
-rw-r--r--tactics.mllib178logplain
-rw-r--r--term_dnet.ml12742logplain
-rw-r--r--term_dnet.mli2640logplain