coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	typage constructeur :	filliatr	1999-08-30
*	mise a jour	filliatr	1999-08-30
*	ajout des inductifs (sans types singletons pour l'instant)	filliatr	1999-08-30
*	un petit effort de presentation dans les interfaces	filliatr	1999-08-30
*	module Indtypes	filliatr	1999-08-27
*	suppression champs inutiles dans constantes et inductifs; verification defini...	filliatr	1999-08-27
*	environnement sur	filliatr	1999-08-26
*	mach -> typing; machops -> typeops	filliatr	1999-08-26
*	le noyau compile et link	filliatr	1999-08-26
*	module Coqast	filliatr	1999-08-26
*	- abstraction	filliatr	1999-08-26
*	mise a jour	filliatr	1999-08-25
*	modules Instantiate, Constant et Inductive	filliatr	1999-08-25
*	mach et himsg; typage sans extraction	filliatr	1999-08-24
*	- suppression de CONV_X et CONV_X_LEQ : les univers sont maintenant toujours	filliatr	1999-08-23
*	programmation literaire : un fichier de description par repertoire	filliatr	1999-08-20
*	machine: execute = typage avec univers	filliatr	1999-08-20
*	mise en place programmation literaire (generation de doc/coq.tex)	filliatr	1999-08-19
*	coq.tex engendre automatiquement	filliatr	1999-08-19
*	documentation (prog literaire)	filliatr	1999-08-19
*	module Reduction (fin)	filliatr	1999-08-18
*	suppression de l'option -nowarning qui n'est pas saine	filliatr	1999-08-18
*	module Reduction (debut)	filliatr	1999-08-18
*	module Closure	filliatr	1999-08-17
*	ajout de modules	filliatr	1999-08-17
*	generic, term et evd	filliatr	1999-08-17
*	ajout dyn; divers fonctions util	filliatr	1999-08-17
*	liste des changements	filliatr	1999-08-16
*	ancien names decoupe en names + sign	filliatr	1999-08-16
*	Initial revision	filliatr	1999-08-16
*	New repository initialized by cvs2svn.	(no author)	1999-08-16