doc - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.cvsignore	1008	log plain
-rw-r--r--	AddRefMan-pre.tex	2184	log plain
-rwxr-xr-x	Anomalies.tex	1057	log plain
-rw-r--r--	Cases.tex	23555	log plain
-rw-r--r--	Changes.html	5018	log plain
-rwxr-xr-x	Changes.tex	391	log plain
-rwxr-xr-x	ChangesV6-2.tex	30331	log plain
-rw-r--r--	ChangesV6-3-1.tex	4374	log plain
-rw-r--r--	ChangesV6-3.tex	11420	log plain
-rwxr-xr-x	ChangesV7-0.tex	26685	log plain
-rw-r--r--	Coercion.tex	18457	log plain
-rw-r--r--	Correctness.tex	32619	log plain
-rwxr-xr-x	Extraction.tex	23035	log plain
-rw-r--r--	Helm.tex	13858	log plain
-rwxr-xr-x	Library.tex	2019	log plain
-rw-r--r--	Makefile	11503	log plain
-rwxr-xr-x	Natural.tex	11933	log plain
-rwxr-xr-x	Omega.tex	6831	log plain
-rw-r--r--	Polynom.tex	18998	log plain
-rw-r--r--	Program.tex	32432	log plain
-rwxr-xr-x	README	1810	log plain
-rwxr-xr-x	Recursive-Definition.tex	8586	log plain
-rwxr-xr-x	RefMan-add.tex	2086	log plain
-rwxr-xr-x	RefMan-cas.tex	23870	log plain
-rwxr-xr-x	RefMan-cic.tex	63740	log plain
-rwxr-xr-x	RefMan-coi.tex	16319	log plain
-rwxr-xr-x	RefMan-com.tex	8228	log plain
-rw-r--r--	RefMan-cover.tex	1605	log plain
-rw-r--r--	RefMan-ext.tex	39941	log plain
-rw-r--r--	RefMan-gal.tex	50913	log plain
-rw-r--r--	RefMan-ide.tex	13643	log plain
-rwxr-xr-x	RefMan-ind.tex	17530	log plain
-rwxr-xr-x	RefMan-int.tex	6695	log plain
-rwxr-xr-x	RefMan-lib.tex	31793	log plain
-rw-r--r--	RefMan-ltac.tex	34796	log plain
-rw-r--r--	RefMan-mod.tex	10580	log plain
-rw-r--r--	RefMan-modr.tex	15263	log plain
-rw-r--r--	RefMan-oth.tex	28503	log plain
-rwxr-xr-x	RefMan-pre.tex	25153	log plain
-rwxr-xr-x	RefMan-pro.tex	12324	log plain
-rwxr-xr-x	RefMan-syn.tex	38163	log plain
-rw-r--r--	RefMan-tac.tex	110909	log plain
-rw-r--r--	RefMan-tacex.tex	33728	log plain
-rwxr-xr-x	RefMan-tus.tex	82611	log plain
-rwxr-xr-x	RefMan-uti.tex	10557	log plain
-rw-r--r--	RefMan.txt	2345	log plain
-rw-r--r--	Reference-Manual.tex	3137	log plain
-rw-r--r--	Setoid.tex	4931	log plain
-rw-r--r--	Translator.tex	31624	log plain
-rw-r--r--	Tutorial-cover.tex	1625	log plain
-rwxr-xr-x	Tutorial.tex	58380	log plain
-rwxr-xr-x	biblio.bib	39165	log plain
-rw-r--r--	book-html.sty	2556	log plain
-rw-r--r--	coq-html.sty	221	log plain
-rw-r--r--	coqdoc.tex	14844	log plain
-rw-r--r--	coqide-queries.png	27316	log plain
-rw-r--r--	coqide.png	20953	log plain
-rw-r--r--	cover.html	964	log plain
-rw-r--r--	discussion-syntaxe.txt	10648	log plain
-rw-r--r--	faq.tex	27060	log plain
-rw-r--r--	headers.tex	3503	log plain
-rwxr-xr-x	macros.tex	18317	log plain
-rw-r--r--	main-0.html	837	log plain
-rw-r--r--	main.html	184	log plain
d---------	newfaq	291	log plain
-rw-r--r--	syntax.txt	1790	log plain
-rwxr-xr-x	title.tex	1515	log plain
-rwxr-xr-x	tov8	49	log plain
-rw-r--r--	tradv8.ml4	2748	log plain
-rw-r--r--	v8.txt	656	log plain