aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics
ModeNameSize
-rw-r--r--auto.ml20085logplain
-rw-r--r--auto.mli3148logplain
-rw-r--r--autorewrite.ml11994logplain
-rw-r--r--autorewrite.mli2223logplain
-rw-r--r--btermdn.ml5347logplain
-rw-r--r--btermdn.mli1583logplain
-rw-r--r--class_tactics.ml62892logplain
-rw-r--r--class_tactics.mli2047logplain
-rw-r--r--contradiction.ml5260logplain
-rw-r--r--contradiction.mli718logplain
-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.ml18051logplain
-rw-r--r--eauto.mli1413logplain
-rw-r--r--elim.ml5486logplain
-rw-r--r--elim.mli1068logplain
-rw-r--r--elimschemes.ml6294logplain
-rw-r--r--elimschemes.mli1489logplain
-rw-r--r--eqdecide.ml8209logplain
-rw-r--r--eqdecide.mli1009logplain
-rw-r--r--eqschemes.ml42191logplain
-rw-r--r--eqschemes.mli2129logplain
-rw-r--r--equality.ml73664logplain
-rw-r--r--equality.mli5752logplain
-rw-r--r--hints.ml55008logplain
-rw-r--r--hints.mli9963logplain
-rw-r--r--hipattern.ml20202logplain
-rw-r--r--hipattern.mli6730logplain
-rw-r--r--inv.ml20488logplain
-rw-r--r--inv.mli1203logplain
-rw-r--r--leminv.ml10466logplain
-rw-r--r--leminv.mli805logplain
-rw-r--r--tacticals.ml25838logplain
-rw-r--r--tacticals.mli12454logplain
-rw-r--r--tactics.ml202324logplain
-rw-r--r--tactics.mli19101logplain
-rw-r--r--tactics.mllib178logplain
-rw-r--r--term_dnet.ml12832logplain
-rw-r--r--term_dnet.mli2640logplain