aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs
ModeNameSize
-rw-r--r--clenv.ml34849logplain
-rw-r--r--clenv.mli5025logplain
-rw-r--r--doc.tex424logplain
-rw-r--r--evar_refiner.ml5702logplain
-rw-r--r--evar_refiner.mli1945logplain
-rw-r--r--logic.ml22614logplain
-rw-r--r--logic.mli2034logplain
-rw-r--r--pfedit.ml9909logplain
-rw-r--r--pfedit.mli5494logplain
-rw-r--r--proof_trees.ml10953logplain
-rw-r--r--proof_trees.mli2422logplain
-rw-r--r--proof_type.ml2815logplain
-rw-r--r--proof_type.mli4305logplain
-rw-r--r--refiner.ml30060logplain
-rw-r--r--refiner.mli7414logplain
-rw-r--r--tacexpr.ml8528logplain
-rw-r--r--tacmach.ml14956logplain
-rw-r--r--tacmach.mli7316logplain
-rw-r--r--tactic_debug.ml2400logplain
-rw-r--r--tactic_debug.mli1291logplain
-rw-r--r--tmp-src1852logplain