coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	debug reset	filliatr	1999-12-10
*	premier debugage	filliatr	1999-12-05
*	renommage pour eviter pbm avec ocamldep (syntax error)	filliatr	1999-12-03
*	pour debugger dans le toplevel ocaml	filliatr	1999-12-03
*	Modifs suite à intégration de class.ml	herbelin	1999-12-02
*	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin	1999-12-01
*	module Classops; ajout de fonctions dans Declare en consequence	filliatr	1999-11-26
*	style utilise dans le code	filliatr	1999-11-26
*	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr	1999-11-24
*	modules Indrec, Tacentries, Hiddentac	filliatr	1999-11-23
*	module Wcclausenv	filliatr	1999-11-22
*	modules Bij, Gmapl, Stock	filliatr	1999-11-19
*	discriminations nets	filliatr	1999-11-19
*	modules Evar_refiner et Typing_ev	filliatr	1999-10-20
*	module Proof_trees	filliatr	1999-10-14
*	mise a jour	filliatr	1999-10-13
*	ajout des constraintes pendant le chargement d'un module (load)	filliatr	1999-09-27
*	ensembles de contraintes d'univers	filliatr	1999-09-25
*	- un effort sur la doc (ocamlweb)	filliatr	1999-09-19
*	module Library	filliatr	1999-09-18
*	modules System, Lib et States	filliatr	1999-09-10
*	un wrapper autour de ocamldebug	filliatr	1999-09-08
*	printers pour le debugger	filliatr	1999-09-08
*	le bien nomme'	filliatr	1999-09-08
*	changements dans les grammaires	filliatr	1999-09-08
*	environnement sur	filliatr	1999-08-26
*	le noyau compile et link	filliatr	1999-08-26
*	mach et himsg; typage sans extraction	filliatr	1999-08-24
*	machine: execute = typage avec univers	filliatr	1999-08-20
*	module Reduction (debut)	filliatr	1999-08-18
*	module Closure	filliatr	1999-08-17
*	ajout de modules	filliatr	1999-08-17
*	liste des changements	filliatr	1999-08-16
*	Initial revision	filliatr	1999-08-16