Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | clenv.ml | 26046 | logplain |
-rw-r--r-- | clenv.mli | 6736 | logplain |
-rw-r--r-- | clenvtac.ml | 5444 | logplain |
-rw-r--r-- | clenvtac.mli | 1052 | logplain |
-rw-r--r-- | doc.tex | 424 | logplain |
-rw-r--r-- | evar_refiner.ml | 2491 | logplain |
-rw-r--r-- | evar_refiner.mli | 682 | logplain |
-rw-r--r-- | goal.ml | 6271 | logplain |
-rw-r--r-- | goal.mli | 3238 | logplain |
-rw-r--r-- | logic.ml | 21529 | logplain |
-rw-r--r-- | logic.mli | 2080 | logplain |
-rw-r--r-- | pfedit.ml | 9462 | logplain |
-rw-r--r-- | pfedit.mli | 7257 | logplain |
-rw-r--r-- | proof.ml | 15120 | logplain |
-rw-r--r-- | proof.mli | 8600 | logplain |
-rw-r--r-- | proof_global.ml | 27312 | logplain |
-rw-r--r-- | proof_global.mli | 8544 | logplain |
-rw-r--r-- | proof_type.mli | 1027 | logplain |
-rw-r--r-- | proof_using.ml | 6093 | logplain |
-rw-r--r-- | proof_using.mli | 887 | logplain |
-rw-r--r-- | proofs.mllib | 118 | logplain |
-rw-r--r-- | redexpr.ml | 9786 | logplain |
-rw-r--r-- | redexpr.mli | 1735 | logplain |
-rw-r--r-- | refine.ml | 6080 | logplain |
-rw-r--r-- | refine.mli | 2110 | logplain |
-rw-r--r-- | refiner.ml | 12304 | logplain |
-rw-r--r-- | refiner.mli | 6065 | logplain |
-rw-r--r-- | tacmach.ml | 7855 | logplain |
-rw-r--r-- | tacmach.mli | 5764 | logplain |