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: kernel
 |
.. (parent) | |||
 |
- | rw-r--r-- | 38,098 | closure.ml |
|
- | rw-r--r-- | 6,728 | closure.mli |
|
- | rw-r--r-- | 1,608 | conv_oracle.ml |
|
- | rw-r--r-- | 1,370 | conv_oracle.mli |
|
- | rw-r--r-- | 5,219 | cooking.ml |
|
- | rw-r--r-- | 1,309 | cooking.mli |
|
- | rw-r--r-- | 6,113 | declarations.ml |
|
- | rw-r--r-- | 4,402 | declarations.mli |
|
- | rw-r--r-- | 277 | doc.tex |
|
- | rw-r--r-- | 3,097 | entries.ml |
|
- | rw-r--r-- | 3,098 | entries.mli |
|
- | rw-r--r-- | 8,372 | environ.ml |
|
- | rw-r--r-- | 5,930 | environ.mli |
|
- | rw-r--r-- | 4,987 | esubst.ml |
|
- | rw-r--r-- | 1,775 | esubst.mli |
|
- | rw-r--r-- | 20,242 | indtypes.ml |
|
- | rw-r--r-- | 1,617 | indtypes.mli |
|
- | rw-r--r-- | 30,003 | inductive.ml |
|
- | rw-r--r-- | 2,805 | inductive.mli |
|
- | rw-r--r-- | 10,369 | mod_typing.ml |
|
- | rw-r--r-- | 905 | mod_typing.mli |
|
- | rw-r--r-- | 7,698 | modops.ml |
|
- | rw-r--r-- | 2,889 | modops.mli |
|
- | rw-r--r-- | 9,254 | names.ml |
|
- | rw-r--r-- | 5,470 | names.mli |
|
- | rw-r--r-- | 14,178 | reduction.ml |
|
- | rw-r--r-- | 2,078 | reduction.mli |
|
- | rw-r--r-- | 17,009 | safe_typing.ml |
|
- | rw-r--r-- | 3,854 | safe_typing.mli |
|
- | rw-r--r-- | 6,363 | sign.ml |
|
- | rw-r--r-- | 3,613 | sign.mli |
|
- | rw-r--r-- | 7,649 | subtyping.ml |
|
- | rw-r--r-- | 735 | subtyping.mli |
|
- | rw-r--r-- | 38,322 | term.ml |
|
- | rw-r--r-- | 17,794 | term.mli |
|
- | rw-r--r-- | 3,709 | term_typing.ml |
|
- | rw-r--r-- | 1,095 | term_typing.mli |
|
- | rw-r--r-- | 3,774 | type_errors.ml |
|
- | rw-r--r-- | 3,498 | type_errors.mli |
|
- | rw-r--r-- | 14,680 | typeops.ml |
|
- | rw-r--r-- | 3,040 | typeops.mli |
|
- | rw-r--r-- | 14,305 | univ.ml |
|
- | rw-r--r-- | 1,808 | univ.mli |