coq - The formal proof system

Age	Commit message (Expand)	Author
1999-11-24	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr
1999-11-23	modules Indrec, Tacentries, Hiddentac	filliatr
1999-11-22	module Wcclausenv	filliatr
1999-11-19	modules Bij, Gmapl, Stock	filliatr
1999-11-19	discriminations nets	filliatr
1999-10-20	modules Evar_refiner et Typing_ev	filliatr
1999-10-14	module Proof_trees	filliatr
1999-10-13	mise a jour	filliatr
1999-09-27	ajout des constraintes pendant le chargement d'un module (load)	filliatr
1999-09-25	ensembles de contraintes d'univers	filliatr
1999-09-19	- un effort sur la doc (ocamlweb)	filliatr
1999-09-18	module Library	filliatr
1999-09-10	modules System, Lib et States	filliatr
1999-09-08	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-08-26	environnement sur	filliatr
1999-08-26	le noyau compile et link	filliatr
1999-08-24	mach et himsg; typage sans extraction	filliatr
1999-08-20	machine: execute = typage avec univers	filliatr
1999-08-18	module Reduction (debut)	filliatr
1999-08-17	module Closure	filliatr
1999-08-17	ajout de modules	filliatr
1999-08-16	liste des changements	filliatr
1999-08-16	Initial revision	filliatr