coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Utilisation de Let In pour les constantes locales, prise en compte des Let In...	herbelin	2000-11-27
*	Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametab	filliatr	2000-11-24
*	Ajout d'une fonction pour recuperer la liste des constantes	delahaye	2000-11-21
*	suppression des (* open Generic *)	filliatr	2000-11-02
*	Bug réduction suite modifs let-in	herbelin	2000-10-24
*	La réduction du Let s'appelle maintenant zeta comme dans le lambda-mu-calcul	herbelin	2000-10-23
*	Touche finale à la réduction du let in dans conv et closure	herbelin	2000-10-04
*	Minor correction for Ocamlweb + doc update	coq	2000-09-14
*	Nouvelle version de frterm; ajout des contextes dans l'enviornnement de rédu...	herbelin	2000-09-14
*	Correction pour make doc	herbelin	2000-09-10
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	- environment -> safe_environment	filliatr	1999-12-01
*	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr	1999-10-18
*	deplacements des var. ex. hors du noyau	filliatr	1999-10-08
*	- un effort sur la doc (ocamlweb)	filliatr	1999-09-19
*	- abstraction	filliatr	1999-08-26
*	mise en place programmation literaire (generation de doc/coq.tex)	filliatr	1999-08-19
*	module Reduction (debut)	filliatr	1999-08-18
*	module Closure	filliatr	1999-08-17