coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Correction pour make doc	herbelin	2000-09-10
*	Suppression de Abst	herbelin	2000-09-10
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	Passage à des contextes de vars et de rels pouvant contenir des déclarations	herbelin	2000-07-24
*	Mise en place d'un choix constr/typed_type en remplacement de certains Cast	herbelin	2000-06-01
*	Suite restructuration inductifs; changement nom module Constant en Declarations	herbelin	2000-05-22
*	Centralisation prod_name and co dans Environ; mkLambda_string dans Term	herbelin	2000-05-18
*	Ajout du langage de tactiques	delahaye	2000-05-03
*	erreurs lexicales dans les patterns (manquait des espaces)	filliatr	2000-03-30
*	Ajout {prod,lambda}_name	herbelin	2000-03-21
*	Tauto	filliatr	2000-03-20
*	mauvais parenthesage dans hd_name (patterns imbriques)	filliatr	2000-03-16
*	Utilisation de l'env pour nommer les Rel	herbelin	2000-03-16
*	Abstraction de l'implémentation des signatures de Sign en vue intégration d...	herbelin	2000-01-26
*	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr	2000-01-21
*	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin	1999-12-15
*	Poursuite intégration du Cases	herbelin	1999-12-13
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
*	- environment -> safe_environment	filliatr	1999-12-01
*	- Typing -> Safe_typing	filliatr	1999-12-01
*	Evd vient apres Environ -> id_of_existential expanse	filliatr	1999-11-26
*	ajouts divers pour module Printer	filliatr	1999-11-26
*	typage des existentielles dans Typing_ev; suppression metamap inutiles dans t...	filliatr	1999-11-25
*	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr	1999-11-24
*	les variables existentielles contiennent maintenant un environnement (type	filliatr	1999-10-19
*	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr	1999-10-18
*	module Logic	filliatr	1999-10-14
*	- re-introduction d'une evar_map dans unsafe_env	filliatr	1999-10-13
*	deplacements des var. ex. hors du noyau	filliatr	1999-10-08
*	message erreur UI pendant import	filliatr	1999-09-26
*	ensembles de contraintes d'univers	filliatr	1999-09-25
*	- deplacement time stamps dans System (car utilise Unix)	filliatr	1999-09-08
*	mise en place repertoire test-suite/, toplevel/, parsing/	filliatr	1999-09-06
*	- environnements vides	filliatr	1999-09-03
*	ajout des inductifs (sans types singletons pour l'instant)	filliatr	1999-08-30
*	suppression champs inutiles dans constantes et inductifs; verification defini...	filliatr	1999-08-27
*	environnement sur	filliatr	1999-08-26
*	- abstraction	filliatr	1999-08-26
*	modules Instantiate, Constant et Inductive	filliatr	1999-08-25
*	mach et himsg; typage sans extraction	filliatr	1999-08-24
*	machine: execute = typage avec univers	filliatr	1999-08-20
*	module Reduction (fin)	filliatr	1999-08-18
*	module Reduction (debut)	filliatr	1999-08-18
*	module Closure	filliatr	1999-08-17