coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Abstraction du type typed_type (un pas vers les jugements 2 niveaux)	herbelin	2000-04-20
*	Modification de type_of_case, type_case_branches, etc	herbelin	2000-03-21
*	Prise en compte nouveau case_info dans type_case	herbelin	2000-03-21
*	Un cast inutile	herbelin	2000-03-17
*	Redondances	herbelin	2000-03-07
*	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
*	Intégration initiale du Cases	herbelin	1999-12-11
*	Discharge (encore bugge)	filliatr	1999-12-09
*	debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes	filliatr	1999-12-07
*	correction bug construct_reference	filliatr	1999-12-07
*	declarations eliminations / debuggae inductifs (debut)	filliatr	1999-12-06
*	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin	1999-12-01
*	poursuite de Vernacentries	filliatr	1999-12-01
*	- Typing -> Safe_typing	filliatr	1999-12-01
*	Backtrack sur modif Evd.evd_concl	herbelin	1999-11-25
*	MAJ pour fusion avec pretyping	herbelin	1999-11-24
*	modules Indrec, Tacentries, Hiddentac	filliatr	1999-11-23
*	- 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
*	ensembles de contraintes d'univers	filliatr	1999-09-25
*	- minicoq : definition inductifs; syntaxe a->b	filliatr	1999-09-07
*	mise en place commandes minicoq	filliatr	1999-09-07
*	- environnements vides	filliatr	1999-09-03
*	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