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: pretyping

d .. (parent)
- - rw-r--r-- 71,899 cases.ml
- - rw-r--r-- 2,509 cases.mli
- - rw-r--r-- 13,634 cbv.ml
- - rw-r--r-- 2,066 cbv.mli
- - rw-r--r-- 12,952 classops.ml
- - rw-r--r-- 3,463 classops.mli
- - rw-r--r-- 17,502 clenv.ml
- - rw-r--r-- 5,584 clenv.mli
- - rw-r--r-- 9,772 coercion.ml
- - rw-r--r-- 2,994 coercion.mli
- - rw-r--r-- 24,943 detyping.ml
- - rw-r--r-- 2,352 detyping.mli
- - rw-r--r-- 215 doc.tex
- - rw-r--r-- 20,567 evarconv.ml
- - rw-r--r-- 1,406 evarconv.mli
- - rw-r--r-- 51,191 evarutil.ml
- - rw-r--r-- 7,651 evarutil.mli
- - rw-r--r-- 23,121 evd.ml
- - rw-r--r-- 9,328 evd.mli
- - rw-r--r-- 21,746 indrec.ml
- - rw-r--r-- 2,266 indrec.mli
- - rw-r--r-- 16,461 inductiveops.ml
- - rw-r--r-- 5,085 inductiveops.mli
- - rw-r--r-- 11,370 matching.ml
- - rw-r--r-- 3,664 matching.mli
- - rw-r--r-- 11,178 pattern.ml
- - rw-r--r-- 2,734 pattern.mli
- - rw-r--r-- 6,607 pretype_errors.ml
- - rw-r--r-- 3,955 pretype_errors.mli
- - rw-r--r-- 26,865 pretyping.ml
- - rw-r--r-- 3,820 pretyping.mli
- - rw-r--r-- 12,845 rawterm.ml
- - rw-r--r-- 5,992 rawterm.mli
- - rw-r--r-- 9,789 recordops.ml
- - rwxr-xr-x 2,376 recordops.mli
- - rw-r--r-- 31,924 reductionops.ml
- - rw-r--r-- 8,829 reductionops.mli
- - rw-r--r-- 7,166 retyping.ml
- - rw-r--r-- 1,642 retyping.mli
- - rw-r--r-- 33,064 tacred.ml
- - rw-r--r-- 3,114 tacred.mli
- - rw-r--r-- 37,737 termops.ml
- - rw-r--r-- 10,772 termops.mli
- - rw-r--r-- 11,841 typeclasses.ml
- - rw-r--r-- 3,331 typeclasses.mli
- - rw-r--r-- 1,984 typeclasses_errors.ml
- - rw-r--r-- 1,540 typeclasses_errors.mli
- - rw-r--r-- 6,106 typing.ml
- - rw-r--r-- 1,373 typing.mli
- - rw-r--r-- 30,312 unification.ml
- - rw-r--r-- 1,911 unification.mli
- - rw-r--r-- 10,542 vnorm.ml
- - rw-r--r-- 662 vnorm.mli