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: pretyping
 |
.. (parent) | |||
 |
- | rw-r--r-- | 68,054 | cases.ml |
|
- | rw-r--r-- | 1,901 | cases.mli |
|
- | rw-r--r-- | 13,097 | cbv.ml |
|
- | rw-r--r-- | 2,042 | cbv.mli |
|
- | rwxr-xr-x | 11,756 | classops.ml |
|
- | rw-r--r-- | 3,798 | classops.mli |
|
- | rw-r--r-- | 7,606 | coercion.ml |
|
- | rw-r--r-- | 1,891 | coercion.mli |
|
- | rw-r--r-- | 18,799 | detyping.ml |
|
- | rw-r--r-- | 1,561 | detyping.mli |
|
- | rw-r--r-- | 215 | doc.tex |
|
- | rw-r--r-- | 14,285 | evarconv.ml |
|
- | rw-r--r-- | 1,020 | evarconv.mli |
|
- | rw-r--r-- | 19,180 | evarutil.ml |
|
- | rw-r--r-- | 3,319 | evarutil.mli |
|
- | rw-r--r-- | 2,115 | evd.ml |
|
- | rw-r--r-- | 1,813 | evd.mli |
|
- | rw-r--r-- | 19,928 | indrec.ml |
|
- | rw-r--r-- | 2,003 | indrec.mli |
|
- | rw-r--r-- | 12,294 | inductiveops.ml |
|
- | rw-r--r-- | 4,161 | inductiveops.mli |
|
- | rw-r--r-- | 2,024 | instantiate.ml |
|
- | rw-r--r-- | 1,015 | instantiate.mli |
|
- | rw-r--r-- | 9,153 | matching.ml |
|
- | rw-r--r-- | 1,972 | matching.mli |
|
- | rw-r--r-- | 10,397 | pattern.ml |
|
- | rw-r--r-- | 2,919 | pattern.mli |
|
- | rw-r--r-- | 5,435 | pretype_errors.ml |
|
- | rw-r--r-- | 3,090 | pretype_errors.mli |
|
- | rw-r--r-- | 41,091 | pretyping.ml |
|
- | rw-r--r-- | 2,978 | pretyping.mli |
|
- | rw-r--r-- | 12,935 | rawterm.ml |
|
- | rw-r--r-- | 4,504 | rawterm.mli |
|
- | rwxr-xr-x | 5,532 | recordops.ml |
|
- | rwxr-xr-x | 1,869 | recordops.mli |
|
- | rw-r--r-- | 23,995 | reductionops.ml |
|
- | rw-r--r-- | 7,569 | reductionops.mli |
|
- | rw-r--r-- | 5,158 | retyping.ml |
|
- | rw-r--r-- | 1,467 | retyping.mli |
|
- | rw-r--r-- | 32,379 | tacred.ml |
|
- | rw-r--r-- | 2,985 | tacred.mli |
|
- | rw-r--r-- | 31,762 | termops.ml |
|
- | rw-r--r-- | 7,635 | termops.mli |
|
- | rw-r--r-- | 5,310 | typing.ml |
|
- | rw-r--r-- | 976 | typing.mli |