aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs
ModeNameSize
-rw-r--r--clenv.ml26264logplain
-rw-r--r--clenv.mli6980logplain
-rw-r--r--clenvtac.ml5525logplain
-rw-r--r--clenvtac.mli1192logplain
-rw-r--r--doc.tex424logplain
-rw-r--r--evar_refiner.ml2776logplain
-rw-r--r--evar_refiner.mli912logplain
-rw-r--r--goal.ml6124logplain
-rw-r--r--goal.mli3096logplain
-rw-r--r--logic.ml20173logplain
-rw-r--r--logic.mli2514logplain
-rw-r--r--miscprint.ml2923logplain
-rw-r--r--miscprint.mli1309logplain
-rw-r--r--pfedit.ml9261logplain
-rw-r--r--pfedit.mli5080logplain
-rw-r--r--proof.ml16071logplain
-rw-r--r--proof.mli8748logplain
-rw-r--r--proof_bullet.ml8767logplain
-rw-r--r--proof_bullet.mli2364logplain
-rw-r--r--proof_global.ml19529logplain
-rw-r--r--proof_global.mli7626logplain
-rw-r--r--proof_type.ml1087logplain
-rw-r--r--proofs.mllib130logplain
-rw-r--r--redexpr.ml9950logplain
-rw-r--r--redexpr.mli1887logplain
-rw-r--r--refine.ml6918logplain
-rw-r--r--refine.mli2590logplain
-rw-r--r--refiner.ml11570logplain
-rw-r--r--refiner.mli6058logplain
-rw-r--r--tacmach.ml7248logplain
-rw-r--r--tacmach.mli5795logplain