refman « doc - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	AddRefMan-pre.tex	2341	log plain
-rw-r--r--	AsyncProofs.tex	11193	log plain
-rw-r--r--	CanonicalStructures.tex	15616	log plain
-rw-r--r--	Cases.tex	27839	log plain
-rw-r--r--	Classes.tex	24318	log plain
-rw-r--r--	Coercion.tex	19045	log plain
-rw-r--r--	Extraction.tex	25021	log plain
-rw-r--r--	Micromega.tex	11378	log plain
-rw-r--r--	Misc.tex	2009	log plain
-rw-r--r--	Nsatz.tex	4030	log plain
-rw-r--r--	Omega.tex	7460	log plain
-rw-r--r--	Polynom.tex	29951	log plain
-rw-r--r--	Program.tex	14159	log plain
-rw-r--r--	RefMan-cic.tex	87346	log plain
-rw-r--r--	RefMan-com.tex	14451	log plain
-rw-r--r--	RefMan-ext.tex	81594	log plain
-rw-r--r--	RefMan-gal.tex	64998	log plain
-rw-r--r--	RefMan-ide.tex	14179	log plain
-rw-r--r--	RefMan-int.tex	6509	log plain
-rw-r--r--	RefMan-lib.tex	32693	log plain
-rw-r--r--	RefMan-ltac.tex	68136	log plain
-rw-r--r--	RefMan-mod.tex	11959	log plain
-rw-r--r--	RefMan-modr.tex	14810	log plain
-rw-r--r--	RefMan-oth.tex	51482	log plain
-rw-r--r--	RefMan-pre.tex	66198	log plain
-rw-r--r--	RefMan-pro.tex	21240	log plain
-rw-r--r--	RefMan-sch.tex	13673	log plain
-rw-r--r--	RefMan-ssr.tex	197217	log plain
-rw-r--r--	RefMan-syn.tex	50075	log plain
-rw-r--r--	RefMan-tac.tex	202378	log plain
-rw-r--r--	RefMan-tacex.tex	30388	log plain
-rw-r--r--	RefMan-uti.tex	20841	log plain
-rw-r--r--	Reference-Manual.tex	4759	log plain
-rw-r--r--	Setoid.tex	38540	log plain
-rw-r--r--	Universes.tex	14788	log plain
-rw-r--r--	biblio.bib	43090	log plain
-rw-r--r--	coq-listing.tex	4216	log plain
-rw-r--r--	coqdoc.tex	18448	log plain
-rw-r--r--	coqide-queries.png	66656	log plain
-rw-r--r--	coqide.png	59662	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	188	log plain
-rw-r--r--	menu.html	955	log plain