package info (click to toggle)
coq-doc 8.4pl4-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 21,852 kB
  • ctags: 24,335
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,347; makefile: 572; sed: 2

Folder: refman

d .. (parent)
- - rw-r--r-- 2,306 AddRefMan-pre.tex
- - rw-r--r-- 25,176 Cases.tex
- - rw-r--r-- 15,491 Classes.tex
- - rw-r--r-- 19,094 Coercion.tex
- - rw-r--r-- 22,600 Extraction.tex
- - rw-r--r-- 13,834 Helm.tex
- - rw-r--r-- 10,631 Micromega.tex
- - rw-r--r-- 11,907 Natural.tex
- - rw-r--r-- 4,002 Nsatz.tex
- - rw-r--r-- 6,831 Omega.tex
- - rw-r--r-- 40,954 Polynom.tex
- - rw-r--r-- 12,911 Program.tex
- - rw-r--r-- 2,580 RefMan-add.tex
- - rw-r--r-- 77,628 RefMan-cic.tex
- - rw-r--r-- 16,337 RefMan-coi.tex
- - rw-r--r-- 13,639 RefMan-com.tex
- - rw-r--r-- 23,079 RefMan-decl.tex
- - rw-r--r-- 69,298 RefMan-ext.tex
- - rw-r--r-- 63,095 RefMan-gal.tex
- - rw-r--r-- 13,746 RefMan-ide.tex
- - rw-r--r-- 18,627 RefMan-ind.tex
- - rw-r--r-- 6,702 RefMan-int.tex
- - rw-r--r-- 32,375 RefMan-lib.tex
- - rw-r--r-- 46,507 RefMan-ltac.tex
- - rw-r--r-- 11,492 RefMan-mod.tex
- - rw-r--r-- 14,780 RefMan-modr.tex
- - rw-r--r-- 49,714 RefMan-oth.tex
- - rw-r--r-- 45,660 RefMan-pre.tex
- - rw-r--r-- 16,576 RefMan-pro.tex
- - rw-r--r-- 12,510 RefMan-sch.tex
- - rw-r--r-- 46,577 RefMan-syn.tex
- - rw-r--r-- 167,636 RefMan-tac.tex
- - rw-r--r-- 30,099 RefMan-tacex.tex
- - rw-r--r-- 82,824 RefMan-tus.tex
- - rw-r--r-- 9,584 RefMan-uti.tex
- - rw-r--r-- 3,962 Reference-Manual.tex
- - rw-r--r-- 33,314 Setoid.tex
- - rw-r--r-- 39,036 biblio.bib
- - rw-r--r-- 17,820 coqdoc.tex
- - rw-r--r-- 187,058 coqide-queries.eps
- - rw-r--r-- 27,316 coqide-queries.png
- - rw-r--r-- 158,733 coqide.eps
- - rw-r--r-- 20,953 coqide.png
- - rw-r--r-- 1,487 headers.hva
- - rw-r--r-- 3,194 headers.sty
- - rw-r--r-- 2,685 hevea.sty
- - rw-r--r-- 187 index.html
- - rw-r--r-- 837 menu.html