refman « doc - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	AddRefMan-pre.tex	2306	log plain
-rw-r--r--	Cases.tex	25175	log plain
-rw-r--r--	Classes.tex	15699	log plain
-rw-r--r--	Coercion.tex	19094	log plain
-rw-r--r--	Extraction.tex	21332	log plain
-rw-r--r--	Helm.tex	13834	log plain
-rw-r--r--	Micromega.tex	9442	log plain
-rw-r--r--	Natural.tex	11945	log plain
-rw-r--r--	Nsatz.tex	4436	log plain
-rw-r--r--	Omega.tex	6830	log plain
-rw-r--r--	Polynom.tex	40612	log plain
-rw-r--r--	Program.tex	12502	log plain
-rw-r--r--	RefMan-add.tex	2641	log plain
-rw-r--r--	RefMan-cic.tex	76356	log plain
-rw-r--r--	RefMan-coi.tex	16399	log plain
-rw-r--r--	RefMan-com.tex	14018	log plain
-rw-r--r--	RefMan-decl.tex	23079	log plain
-rw-r--r--	RefMan-ext.tex	63197	log plain
-rw-r--r--	RefMan-gal.tex	62625	log plain
-rw-r--r--	RefMan-ide.tex	14811	log plain
-rw-r--r--	RefMan-ind.tex	18688	log plain
-rw-r--r--	RefMan-int.tex	6764	log plain
-rw-r--r--	RefMan-lib.tex	32374	log plain
-rw-r--r--	RefMan-ltac.tex	45834	log plain
-rw-r--r--	RefMan-mod.tex	11492	log plain
-rw-r--r--	RefMan-modr.tex	14842	log plain
-rw-r--r--	RefMan-oth.tex	48829	log plain
-rw-r--r--	RefMan-pre.tex	37763	log plain
-rw-r--r--	RefMan-pro.tex	13883	log plain
-rw-r--r--	RefMan-syn.tex	45789	log plain
-rw-r--r--	RefMan-tac.tex	166903	log plain
-rw-r--r--	RefMan-tacex.tex	44736	log plain
-rw-r--r--	RefMan-tus.tex	82824	log plain
-rw-r--r--	RefMan-uti.tex	10916	log plain
-rw-r--r--	Reference-Manual.tex	3999	log plain
-rw-r--r--	Setoid.tex	33397	log plain
-rw-r--r--	biblio.bib	38615	log plain
-rw-r--r--	coqdoc.tex	17805	log plain
-rw-r--r--	coqide-queries.eps	187058	log plain
-rw-r--r--	coqide-queries.png	27316	log plain
-rw-r--r--	coqide.eps	158733	log plain
-rw-r--r--	coqide.png	20953	log plain
-rw-r--r--	headers.hva	1487	log plain
-rw-r--r--	headers.sty	3194	log plain
-rw-r--r--	hevea.sty	2685	log plain
-rw-r--r--	index.html	187	log plain
-rw-r--r--	menu.html	837	log plain