doc - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.cvsignore	777	log plain
-rw-r--r--	AddRefMan-pre.tex	1591	log plain
-rwxr-xr-x	Anomalies.tex	1060	log plain
-rw-r--r--	Cases.tex	23210	log plain
-rwxr-xr-x	Changes.tex	26682	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	26682	log plain
-rw-r--r--	Coercion.tex	14728	log plain
-rw-r--r--	Correctness.tex	32398	log plain
-rwxr-xr-x	Extraction.tex	9334	log plain
-rwxr-xr-x	Library.tex	2102	log plain
-rw-r--r--	Makefile	10509	log plain
-rwxr-xr-x	Natural.tex	11933	log plain
-rwxr-xr-x	Omega.tex	6812	log plain
-rw-r--r--	Polynom.tex	18969	log plain
-rw-r--r--	Program.tex	32432	log plain
-rwxr-xr-x	README	1841	log plain
-rwxr-xr-x	Recursive-Definition.tex	8573	log plain
-rwxr-xr-x	RefMan-add.tex	2086	log plain
-rwxr-xr-x	RefMan-cas.tex	24675	log plain
-rwxr-xr-x	RefMan-cic.tex	55395	log plain
-rwxr-xr-x	RefMan-coi.tex	16273	log plain
-rwxr-xr-x	RefMan-com.tex	7081	log plain
-rw-r--r--	RefMan-cover.tex	1605	log plain
-rw-r--r--	RefMan-ext.tex	31477	log plain
-rw-r--r--	RefMan-gal.tex	46017	log plain
-rwxr-xr-x	RefMan-ind.tex	17481	log plain
-rwxr-xr-x	RefMan-int.tex	5684	log plain
-rwxr-xr-x	RefMan-lib.tex	29825	log plain
-rw-r--r--	RefMan-ltac.tex	27870	log plain
-rw-r--r--	RefMan-oth.tex	27077	log plain
-rwxr-xr-x	RefMan-pre.tex	18836	log plain
-rwxr-xr-x	RefMan-pro.tex	12254	log plain
-rwxr-xr-x	RefMan-syn.tex	66754	log plain
-rw-r--r--	RefMan-tac.tex	89490	log plain
-rw-r--r--	RefMan-tacex.tex	17778	log plain
-rwxr-xr-x	RefMan-tus.tex	73088	log plain
-rwxr-xr-x	RefMan-uti.tex	11165	log plain
-rw-r--r--	Reference-Manual.tex	2233	log plain
-rw-r--r--	Setoid.tex	4908	log plain
-rw-r--r--	Tutorial-cover.tex	1625	log plain
-rwxr-xr-x	Tutorial.tex	58038	log plain
-rwxr-xr-x	biblio.bib	36812	log plain
-rw-r--r--	book-html.sty	2536	log plain
-rw-r--r--	coq-html.sty	221	log plain
-rw-r--r--	cover.html	1004	log plain
-rw-r--r--	discussion-syntaxe.txt	8124	log plain
-rw-r--r--	headers.tex	2917	log plain
-rwxr-xr-x	macros.tex	13407	log plain
-rw-r--r--	syntax.txt	1790	log plain
-rwxr-xr-x	title.tex	1464	log plain