package info
(click to toggle)
coq 8.0pl2-2
- links: PTS
- area: main
- in suites: sarge
- size: 14,228 kB
- ctags: 17,685
- sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15
Folder: proofs
 |
.. (parent) | |||
 |
- | rw-r--r-- | 38,110 | clenv.ml |
|
- | rw-r--r-- | 5,562 | clenv.mli |
|
- | rw-r--r-- | 424 | doc.tex |
|
- | rw-r--r-- | 6,161 | evar_refiner.ml |
|
- | rw-r--r-- | 2,034 | evar_refiner.mli |
|
- | rw-r--r-- | 25,089 | logic.ml |
|
- | rw-r--r-- | 2,212 | logic.mli |
|
- | rw-r--r-- | 10,392 | pfedit.ml |
|
- | rw-r--r-- | 6,044 | pfedit.mli |
|
- | rw-r--r-- | 7,402 | proof_trees.ml |
|
- | rw-r--r-- | 2,416 | proof_trees.mli |
|
- | rw-r--r-- | 2,649 | proof_type.ml |
|
- | rw-r--r-- | 4,139 | proof_type.mli |
|
- | rw-r--r-- | 33,108 | refiner.ml |
|
- | rw-r--r-- | 8,377 | refiner.mli |
|
- | rw-r--r-- | 11,493 | tacexpr.ml |
|
- | rw-r--r-- | 8,632 | tacmach.ml |
|
- | rw-r--r-- | 7,588 | tacmach.mli |
|
- | rw-r--r-- | 6,019 | tactic_debug.ml |
|
- | rw-r--r-- | 2,167 | tactic_debug.mli |
|
- | rw-r--r-- | 1,852 | tmp-src |