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

d .. (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