aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs
ModeNameSize
-rw-r--r--clenv.ml37878logplain
-rw-r--r--clenv.mli5497logplain
-rw-r--r--doc.tex424logplain
-rw-r--r--evar_refiner.ml5660logplain
-rw-r--r--evar_refiner.mli1925logplain
-rw-r--r--logic.ml25019logplain
-rw-r--r--logic.mli2149logplain
-rw-r--r--pfedit.ml10318logplain
-rw-r--r--pfedit.mli5968logplain
-rw-r--r--proof_trees.ml7334logplain
-rw-r--r--proof_trees.mli2347logplain
-rw-r--r--proof_type.ml2582logplain
-rw-r--r--proof_type.mli4071logplain
-rw-r--r--refiner.ml32562logplain
-rw-r--r--refiner.mli8246logplain
-rw-r--r--tacexpr.ml10928logplain
-rw-r--r--tacmach.ml8552logplain
-rw-r--r--tacmach.mli7463logplain
-rw-r--r--tactic_debug.ml6012logplain
-rw-r--r--tactic_debug.mli2097logplain
-rw-r--r--tmp-src1852logplain