refman « doc - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	AddRefMan-pre.tex	2311	log plain
-rw-r--r--	AsyncProofs.tex	10756	log plain
-rw-r--r--	CanonicalStructures.tex	15574	log plain
-rw-r--r--	Cases.tex	27486	log plain
-rw-r--r--	Classes.tex	24008	log plain
-rw-r--r--	Coercion.tex	19014	log plain
-rw-r--r--	Extraction.tex	24116	log plain
-rw-r--r--	Micromega.tex	11347	log plain
-rw-r--r--	Misc.tex	1974	log plain
-rw-r--r--	Nsatz.tex	4003	log plain
-rw-r--r--	Omega.tex	6791	log plain
-rw-r--r--	Polynom.tex	29925	log plain
-rw-r--r--	Program.tex	14073	log plain
-rw-r--r--	RefMan-add.tex	2580	log plain
-rw-r--r--	RefMan-cic.tex	84627	log plain
-rw-r--r--	RefMan-coi.tex	16333	log plain
-rw-r--r--	RefMan-com.tex	13800	log plain
-rw-r--r--	RefMan-ext.tex	77104	log plain
-rw-r--r--	RefMan-gal.tex	64797	log plain
-rw-r--r--	RefMan-ide.tex	13429	log plain
-rw-r--r--	RefMan-ind.tex	18626	log plain
-rw-r--r--	RefMan-int.tex	6705	log plain
-rw-r--r--	RefMan-lib.tex	32665	log plain
-rw-r--r--	RefMan-ltac.tex	66465	log plain
-rw-r--r--	RefMan-mod.tex	11749	log plain
-rw-r--r--	RefMan-modr.tex	14781	log plain
-rw-r--r--	RefMan-oth.tex	49892	log plain
-rw-r--r--	RefMan-pre.tex	60499	log plain
-rw-r--r--	RefMan-pro.tex	20967	log plain
-rw-r--r--	RefMan-sch.tex	13355	log plain
-rw-r--r--	RefMan-syn.tex	49286	log plain
-rw-r--r--	RefMan-tac.tex	195976	log plain
-rw-r--r--	RefMan-tacex.tex	30349	log plain
-rw-r--r--	RefMan-tus.tex	82827	log plain
-rw-r--r--	RefMan-uti.tex	11570	log plain
-rw-r--r--	Reference-Manual.tex	4258	log plain
-rw-r--r--	Setoid.tex	38510	log plain
-rw-r--r--	Universes.tex	10445	log plain
-rw-r--r--	biblio.bib	43090	log plain
-rw-r--r--	coqdoc.tex	18448	log plain
-rw-r--r--	coqide-queries.png	27316	log plain
-rw-r--r--	coqide.png	20953	log plain
-rw-r--r--	headers.hva	1489	log plain
-rw-r--r--	headers.sty	3084	log plain
-rw-r--r--	hevea.sty	2685	log plain
-rw-r--r--	index.html	187	log plain
-rw-r--r--	menu.html	955	log plain