aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs
ModeNameSize
-rw-r--r--clenv.ml18875logplain
-rw-r--r--clenv.mli5334logplain
-rw-r--r--clenvtac.ml4154logplain
-rw-r--r--clenvtac.mli1130logplain
-rw-r--r--doc.tex424logplain
-rw-r--r--evar_refiner.ml2552logplain
-rw-r--r--evar_refiner.mli909logplain
-rw-r--r--goal.ml22107logplain
-rw-r--r--goal.mli9513logplain
-rw-r--r--logic.ml25558logplain
-rw-r--r--logic.mli1742logplain
-rw-r--r--monads.ml7285logplain
-rw-r--r--pfedit.ml5687logplain
-rw-r--r--pfedit.mli5756logplain
-rw-r--r--proof.ml10226logplain
-rw-r--r--proof.mli6980logplain
-rw-r--r--proof_global.ml13465logplain
-rw-r--r--proof_global.mli5560logplain
-rw-r--r--proof_type.ml1790logplain
-rw-r--r--proof_type.mli3220logplain
-rw-r--r--proofs.mllib130logplain
-rw-r--r--proofview.ml19763logplain
-rw-r--r--proofview.mli10782logplain
-rw-r--r--redexpr.ml8686logplain
-rw-r--r--redexpr.mli1664logplain
-rw-r--r--refiner.ml14097logplain
-rw-r--r--refiner.mli6942logplain
-rw-r--r--tacmach.ml6749logplain
-rw-r--r--tacmach.mli5603logplain
-rw-r--r--tactic_debug.ml7410logplain
-rw-r--r--tactic_debug.mli2957logplain