coq - The formal proof system

Age	Commit message (Expand)	Author
2000-04-28	portage Omega (code seulement)	filliatr
2000-04-21	discharge des axiomes	filliatr
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr
1999-12-15	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin
1999-12-12	modules	filliatr
1999-12-10	bug: enregistrement de vartab au lieu de csttab	filliatr
1999-12-10	debug discharge et inductifs	filliatr
1999-12-09	- constantes avec recettes	filliatr
1999-12-08	deplacement de Discharge dans toplevel	filliatr
1999-12-07	correction bug construct_reference	filliatr
1999-12-06	declarations eliminations / debuggae inductifs (debut)	filliatr
1999-12-05	add_leaf -> application methode cache	filliatr
1999-12-03	bug make_strength repare	filliatr
1999-12-03	- global_reference traite des variables	filliatr
1999-12-02	Modifs suite à intégration de class.ml	herbelin
1999-12-02	modifs pour premiere edition de liens	filliatr
1999-12-01	poursuite de Vernacentries	filliatr
1999-12-01	mise au point Declare et avancee dans Astterm	filliatr
1999-12-01	make_strength / reset_library	filliatr
1999-12-01	- environment -> safe_environment	filliatr
1999-12-01	- Typing -> Safe_typing	filliatr
1999-11-29	portage Astterm (partiellement)	filliatr
1999-11-26	module Classops; ajout de fonctions dans Declare en consequence	filliatr
1999-11-26	prvecti	filliatr
1999-11-26	ajouts divers pour module Printer	filliatr
1999-11-24	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr
1999-11-23	modules Indrec, Tacentries, Hiddentac	filliatr
1999-11-22	module Tactics (debut)	filliatr
1999-11-22	modules Indrec, Wcclausenv; progression dans Tacticals	filliatr
1999-11-19	module Pattern, Wcclausenv (interface) et Tacticals	filliatr
1999-10-22	- module Redinfo dans library/ pour les constantes d'élimination	filliatr
1999-10-18	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr
1999-10-14	module Logic	filliatr
1999-10-14	pas de merge univers dans Declare, car deja fait dans Environ	filliatr
1999-09-27	ajout des constraintes pendant le chargement d'un module (load)	filliatr
1999-09-19	module Declare	filliatr