package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327

Folder: kernel

d .. (parent)
d d rwxr-xr-x 4,096 byterun
- - rw-r--r-- 8,959 cbytecodes.ml
- - rw-r--r-- 5,498 cbytecodes.mli
- - rw-r--r-- 32,981 cbytegen.ml
- - rw-r--r-- 1,719 cbytegen.mli
- - rw-r--r-- 11,212 cemitcodes.ml
- - rw-r--r-- 939 cemitcodes.mli
- - rw-r--r-- 33,896 closure.ml
- - rw-r--r-- 6,529 closure.mli
- - rw-r--r-- 2,634 conv_oracle.ml
- - rw-r--r-- 1,565 conv_oracle.mli
- - rw-r--r-- 3,973 cooking.ml
- - rw-r--r-- 1,130 cooking.mli
- - rw-r--r-- 5,260 csymtable.ml
- - rw-r--r-- 171 csymtable.mli
- - rw-r--r-- 8,844 declarations.ml
- - rw-r--r-- 6,357 declarations.mli
- - rw-r--r-- 277 doc.tex
- - rw-r--r-- 2,961 entries.ml
- - rw-r--r-- 2,979 entries.mli
- - rw-r--r-- 22,797 environ.ml
- - rw-r--r-- 9,573 environ.mli
- - rw-r--r-- 5,627 esubst.ml
- - rw-r--r-- 1,952 esubst.mli
- - rw-r--r-- 24,700 indtypes.ml
- - rw-r--r-- 1,441 indtypes.mli
- - rw-r--r-- 34,773 inductive.ml
- - rw-r--r-- 4,109 inductive.mli
- - rw-r--r-- 102 make-opcodes
- - rw-r--r-- 13,754 mod_subst.ml
- - rw-r--r-- 3,239 mod_subst.mli
- - rw-r--r-- 14,246 mod_typing.ml
- - rw-r--r-- 1,129 mod_typing.mli
- - rw-r--r-- 18,049 modops.ml
- - rw-r--r-- 3,361 modops.mli
- - rw-r--r-- 9,163 names.ml
- - rw-r--r-- 5,962 names.mli
- - rw-r--r-- 3,792 pre_env.ml
- - rw-r--r-- 2,485 pre_env.mli
- - rw-r--r-- 18,045 reduction.ml
- - rw-r--r-- 3,070 reduction.mli
- - rw-r--r-- 8,370 retroknowledge.ml
- - rw-r--r-- 6,027 retroknowledge.mli
- - rw-r--r-- 26,004 safe_typing.ml
- - rw-r--r-- 4,372 safe_typing.mli
- - rw-r--r-- 6,655 sign.ml
- - rw-r--r-- 3,929 sign.mli
- - rw-r--r-- 15,761 subtyping.ml
- - rw-r--r-- 728 subtyping.mli
- - rw-r--r-- 38,750 term.ml
- - rw-r--r-- 18,776 term.mli
- - rw-r--r-- 4,458 term_typing.ml
- - rw-r--r-- 1,393 term_typing.mli
- - rw-r--r-- 3,851 type_errors.ml
- - rw-r--r-- 3,601 type_errors.mli
- - rw-r--r-- 16,449 typeops.ml
- - rw-r--r-- 3,606 typeops.mli
- - rw-r--r-- 19,917 univ.ml
- - rw-r--r-- 2,886 univ.mli
- - rw-r--r-- 7,758 vconv.ml
- - rw-r--r-- 841 vconv.mli
- - rw-r--r-- 19,443 vm.ml
- - rw-r--r-- 2,304 vm.mli