refman « doc - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	AddRefMan-pre.tex	2306	log plain
-rw-r--r--	AsyncProofs.tex	7566	log plain
-rw-r--r--	CanonicalStructures.tex	14945	log plain
-rw-r--r--	Cases.tex	27463	log plain
-rw-r--r--	Classes.tex	15561	log plain
-rw-r--r--	Coercion.tex	19099	log plain
-rw-r--r--	Extraction.tex	23352	log plain
-rw-r--r--	Helm.tex	13942	log plain
-rw-r--r--	Micromega.tex	10651	log plain
-rw-r--r--	Misc.tex	1974	log plain
-rw-r--r--	Natural.tex	11907	log plain
-rw-r--r--	Nsatz.tex	4002	log plain
-rw-r--r--	Omega.tex	6831	log plain
-rw-r--r--	Polynom.tex	29944	log plain
-rw-r--r--	Program.tex	13382	log plain
-rw-r--r--	RefMan-add.tex	2580	log plain
-rw-r--r--	RefMan-cic.tex	78081	log plain
-rw-r--r--	RefMan-coi.tex	16337	log plain
-rw-r--r--	RefMan-com.tex	12114	log plain
-rw-r--r--	RefMan-decl.tex	23071	log plain
-rw-r--r--	RefMan-ext.tex	70249	log plain
-rw-r--r--	RefMan-gal.tex	63693	log plain
-rw-r--r--	RefMan-ide.tex	13295	log plain
-rw-r--r--	RefMan-ind.tex	18627	log plain
-rw-r--r--	RefMan-int.tex	6705	log plain
-rw-r--r--	RefMan-lib.tex	32429	log plain
-rw-r--r--	RefMan-ltac.tex	54473	log plain
-rw-r--r--	RefMan-mod.tex	11816	log plain
-rw-r--r--	RefMan-modr.tex	14780	log plain
-rw-r--r--	RefMan-oth.tex	50541	log plain
-rw-r--r--	RefMan-pre.tex	45660	log plain
-rw-r--r--	RefMan-pro.tex	16686	log plain
-rw-r--r--	RefMan-sch.tex	12526	log plain
-rw-r--r--	RefMan-syn.tex	47209	log plain
-rw-r--r--	RefMan-tac.tex	177183	log plain
-rw-r--r--	RefMan-tacex.tex	30100	log plain
-rw-r--r--	RefMan-tus.tex	82824	log plain
-rw-r--r--	RefMan-uti.tex	9591	log plain
-rw-r--r--	Reference-Manual.tex	4113	log plain
-rw-r--r--	Setoid.tex	38435	log plain
-rw-r--r--	Universes.tex	5162	log plain
-rw-r--r--	biblio.bib	40574	log plain
-rw-r--r--	coqdoc.tex	17820	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