aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs
ModeNameSize
-rw-r--r--clenvtac.ml2811logplain
-rw-r--r--clenvtac.mli868logplain
-rw-r--r--doc.tex424logplain
-rw-r--r--evar_refiner.ml1723logplain
-rw-r--r--evar_refiner.mli886logplain
-rw-r--r--logic.ml20567logplain
-rw-r--r--logic.mli1853logplain
-rw-r--r--pfedit.ml10084logplain
-rw-r--r--pfedit.mli6195logplain
-rw-r--r--proof_trees.ml2240logplain
-rw-r--r--proof_trees.mli1448logplain
-rw-r--r--proof_type.ml2497logplain
-rw-r--r--proof_type.mli3917logplain
-rw-r--r--redexpr.ml3772logplain
-rw-r--r--redexpr.mli1192logplain
-rw-r--r--refiner.ml29475logplain
-rw-r--r--refiner.mli8196logplain
-rw-r--r--tacexpr.ml11737logplain
-rw-r--r--tacmach.ml8393logplain
-rw-r--r--tacmach.mli7278logplain
-rw-r--r--tactic_debug.ml6020logplain
-rw-r--r--tactic_debug.mli2386logplain
-rw-r--r--tmp-src1852logplain