coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	deplacement de Discharge dans toplevel	filliatr	1999-12-08
*	correction bug construct_reference	filliatr	1999-12-07
*	declarations eliminations / debuggae inductifs (debut)	filliatr	1999-12-06
*	add_leaf -> application methode cache	filliatr	1999-12-05
*	bug make_strength repare	filliatr	1999-12-03
*	- global_reference traite des variables	filliatr	1999-12-03
*	Modifs suite à intégration de class.ml	herbelin	1999-12-02
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	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-12-01
*	portage Astterm (partiellement)	filliatr	1999-11-29
*	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-26
*	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr	1999-11-24
*	modules Indrec, Tacentries, Hiddentac	filliatr	1999-11-23
*	module Tactics (debut)	filliatr	1999-11-22
*	modules Indrec, Wcclausenv; progression dans Tacticals	filliatr	1999-11-22
*	module Pattern, Wcclausenv (interface) et Tacticals	filliatr	1999-11-19
*	- module Redinfo dans library/ pour les constantes d'élimination	filliatr	1999-10-22
*	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr	1999-10-18
*	module Logic	filliatr	1999-10-14
*	pas de merge univers dans Declare, car deja fait dans Environ	filliatr	1999-10-14
*	ajout des constraintes pendant le chargement d'un module (load)	filliatr	1999-09-27
*	module Declare	filliatr	1999-09-19