aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics
ModeNameSize
-rw-r--r--auto.ml20051logplain
-rw-r--r--auto.mli3271logplain
-rw-r--r--autorewrite.ml10775logplain
-rw-r--r--autorewrite.mli2390logplain
-rw-r--r--btermdn.ml5492logplain
-rw-r--r--btermdn.mli1723logplain
-rw-r--r--class_tactics.ml47337logplain
-rw-r--r--class_tactics.mli2187logplain
-rw-r--r--contradiction.ml5136logplain
-rw-r--r--contradiction.mli858logplain
-rw-r--r--dn.ml2513logplain
-rw-r--r--dn.mli1166logplain
-rw-r--r--dnet.ml10325logplain
-rw-r--r--dnet.mli4665logplain
-rw-r--r--doc.tex246logplain
-rw-r--r--eauto.ml18092logplain
-rw-r--r--eauto.mli1537logplain
-rw-r--r--elim.ml5578logplain
-rw-r--r--elim.mli1208logplain
-rw-r--r--elimschemes.ml5906logplain
-rw-r--r--elimschemes.mli1842logplain
-rw-r--r--eqdecide.ml9903logplain
-rw-r--r--eqdecide.mli1159logplain
-rw-r--r--eqschemes.ml42669logplain
-rw-r--r--eqschemes.mli2273logplain
-rw-r--r--equality.ml73329logplain
-rw-r--r--equality.mli6595logplain
-rw-r--r--hints.ml56409logplain
-rw-r--r--hints.mli10732logplain
-rw-r--r--hipattern.ml20184logplain
-rw-r--r--hipattern.mli6827logplain
-rw-r--r--ind_tables.ml7770logplain
-rw-r--r--ind_tables.mli2260logplain
-rw-r--r--inv.ml21102logplain
-rw-r--r--inv.mli1427logplain
-rw-r--r--leminv.ml10531logplain
-rw-r--r--leminv.mli961logplain
-rw-r--r--tacticals.ml26645logplain
-rw-r--r--tacticals.mli12563logplain
-rw-r--r--tactics.ml203395logplain
-rw-r--r--tactics.mli19560logplain
-rw-r--r--tactics.mllib178logplain
-rw-r--r--term_dnet.ml13854logplain
-rw-r--r--term_dnet.mli2796logplain