refman « doc - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	AddRefMan-pre.tex	2306	log plain
-rw-r--r--	Cases.tex	25167	log plain
-rw-r--r--	Classes.tex	1509	log plain
-rw-r--r--	Coercion.tex	18457	log plain
-rw-r--r--	ExternalProvers.tex	1893	log plain
-rw-r--r--	Extraction.tex	23341	log plain
-rw-r--r--	Helm.tex	13903	log plain
-rw-r--r--	Natural.tex	11945	log plain
-rw-r--r--	Omega.tex	6831	log plain
-rw-r--r--	Polynom.tex	40840	log plain
-rw-r--r--	Program.tex	11725	log plain
-rw-r--r--	RefMan-add.tex	2589	log plain
-rw-r--r--	RefMan-cic.tex	75188	log plain
-rw-r--r--	RefMan-coi.tex	16346	log plain
-rw-r--r--	RefMan-com.tex	9156	log plain
-rw-r--r--	RefMan-decl.tex	23080	log plain
-rw-r--r--	RefMan-ext.tex	59855	log plain
-rw-r--r--	RefMan-gal.tex	60898	log plain
-rw-r--r--	RefMan-ide.tex	14268	log plain
-rw-r--r--	RefMan-ind.tex	18635	log plain
-rw-r--r--	RefMan-int.tex	6719	log plain
-rw-r--r--	RefMan-lib.tex	32095	log plain
-rw-r--r--	RefMan-ltac.tex	43716	log plain
-rw-r--r--	RefMan-mod.tex	11027	log plain
-rw-r--r--	RefMan-modr.tex	13229	log plain
-rw-r--r--	RefMan-oth.tex	37340	log plain
-rw-r--r--	RefMan-pre.tex	28795	log plain
-rw-r--r--	RefMan-pro.tex	14080	log plain
-rw-r--r--	RefMan-syn.tex	42099	log plain
-rw-r--r--	RefMan-tac.tex	145954	log plain
-rw-r--r--	RefMan-tacex.tex	43488	log plain
-rw-r--r--	RefMan-tus.tex	82910	log plain
-rw-r--r--	RefMan-uti.tex	10894	log plain
-rw-r--r--	Reference-Manual.tex	3608	log plain
-rw-r--r--	Setoid.tex	32423	log plain
-rw-r--r--	biblio.bib	37055	log plain
-rw-r--r--	coqdoc.tex	15003	log plain
-rw-r--r--	coqide-queries.png	27316	log plain
-rw-r--r--	coqide.png	20953	log plain
-rw-r--r--	cover.html	1309	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