coq - The formal proof system

Age	Commit message (Expand)	Author
2000-10-01	renommage map_constr_with_named_binders	herbelin
2000-09-14	Abstraction de constr	herbelin
2000-09-12	Modification mkAppL; abstraction via kind_of_term; changement dans Reduction	herbelin
2000-09-10	Correction pour make doc	herbelin
2000-09-10	Ajout d'un LetIn primitif.	herbelin
2000-07-24	Passage à des contextes de vars et de rels pouvant contenir des déclarations	herbelin
2000-06-29	Séparation des contraintes de type et de valeur dans pretyping	herbelin
2000-06-01	Mise en place d'un choix constr/typed_type en remplacement de certains Cast	herbelin
2000-05-31	Nettoyage de Generic	herbelin
2000-05-25	Bug existential_value au lieu de existential_type + divers sur existential	herbelin
2000-05-23	Bug de cast	herbelin
2000-03-21	Inlining prod_create	herbelin
2000-03-10	* empty log message *	barras
2000-03-10	Reparation bug isevars dans pretyping	herbelin
2000-03-08	La partie 'val' de trad_constraints devient un typed_type	herbelin
2000-03-07	Renommage mt_con -> empty_con	herbelin
2000-01-26	Abstraction de l'implémentation des signatures de Sign en vue intégration d...	herbelin
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr
2000-01-07	Correction pbs liés aux evar	herbelin
1999-12-15	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin
1999-12-11	Intégration initiale du Cases	herbelin
1999-12-02	modifs pour premiere edition de liens	filliatr
1999-12-01	- Typing -> Safe_typing	filliatr
1999-11-29	portage modules Evarconv et Evarutil	filliatr
1999-11-27	fin Recordops, et debut Evarutil	filliatr
1999-11-25	Des progres dans l'integration	herbelin
1999-11-24	Versions initiales	herbelin