aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics
ModeNameSize
-rw-r--r--auto.ml19929logplain
-rw-r--r--auto.mli3127logplain
-rw-r--r--autorewrite.ml10585logplain
-rw-r--r--autorewrite.mli2225logplain
-rw-r--r--btermdn.ml5347logplain
-rw-r--r--btermdn.mli1573logplain
-rw-r--r--class_tactics.ml63011logplain
-rw-r--r--class_tactics.mli2037logplain
-rw-r--r--contradiction.ml5191logplain
-rw-r--r--contradiction.mli708logplain
-rw-r--r--dn.ml2513logplain
-rw-r--r--dn.mli1166logplain
-rw-r--r--dnet.ml10175logplain
-rw-r--r--dnet.mli4515logplain
-rw-r--r--doc.tex246logplain
-rw-r--r--eauto.ml17917logplain
-rw-r--r--eauto.mli1387logplain
-rw-r--r--elim.ml5428logplain
-rw-r--r--elim.mli1058logplain
-rw-r--r--elimschemes.ml5727logplain
-rw-r--r--elimschemes.mli1714logplain
-rw-r--r--eqdecide.ml9508logplain
-rw-r--r--eqdecide.mli1009logplain
-rw-r--r--eqschemes.ml42500logplain
-rw-r--r--eqschemes.mli2129logplain
-rw-r--r--equality.ml73100logplain
-rw-r--r--equality.mli5842logplain
-rw-r--r--hints.ml54883logplain
-rw-r--r--hints.mli9852logplain
-rw-r--r--hipattern.ml20184logplain
-rw-r--r--hipattern.mli6857logplain
-rw-r--r--ind_tables.ml7678logplain
-rw-r--r--ind_tables.mli2118logplain
-rw-r--r--inv.ml20398logplain
-rw-r--r--inv.mli1193logplain
-rw-r--r--leminv.ml10339logplain
-rw-r--r--leminv.mli795logplain
-rw-r--r--tacticals.ml25369logplain
-rw-r--r--tacticals.mli12274logplain
-rw-r--r--tactics.ml205855logplain
-rw-r--r--tactics.mli19290logplain
-rw-r--r--tactics.mllib178logplain
-rw-r--r--term_dnet.ml12827logplain
-rw-r--r--term_dnet.mli2640logplain