coq - The formal proof system

Age	Commit message (Expand)	Author
1999-12-01	module Pfedit	filliatr
1999-12-01	- environment -> safe_environment	filliatr
1999-12-01	- Typing -> Safe_typing	filliatr
1999-11-30	inductive_key et constructor_key	herbelin
1999-11-30	ocamlweb	filliatr
1999-11-30	mise a jour	filliatr
1999-11-30	ocamlweb	filliatr
1999-11-30	graphes de dependances	filliatr
1999-11-29	portage modules Evarconv et Evarutil	filliatr
1999-11-29	commentaires supprimmés	filliatr
1999-11-29	portage Astterm (partiellement)	filliatr
1999-11-27	fin Recordops, et debut Evarutil	filliatr
1999-11-26	Pas encore pret	herbelin
1999-11-26	Modification pour faire compiler pretyping.ml qui maintenant compile	herbelin
1999-11-26	Maintenant compilable	herbelin
1999-11-26	Déplacement fonction transform_rec vers pretyping	herbelin
1999-11-26	Version initiale	herbelin
1999-11-26	module Classops; ajout de fonctions dans Declare en consequence	filliatr
1999-11-26	prvecti	filliatr
1999-11-26	module Pretty (partiellement)	filliatr
1999-11-26	module Termast	filliatr
1999-11-26	module Goptions (etait Options)	filliatr
1999-11-26	Evd vient apres Environ -> id_of_existential expanse	filliatr
1999-11-26	style utilise dans le code	filliatr
1999-11-26	ajouts divers pour module Printer	filliatr
1999-11-26	module Printer	filliatr
1999-11-26	module Esyntax	filliatr
1999-11-26	module Extend	filliatr
1999-11-25	typage des existentielles dans Typing_ev; suppression metamap inutiles dans t...	filliatr
1999-11-25	Des progres dans l'integration	herbelin
1999-11-25	Backtrack sur modif Evd.evd_concl	herbelin
1999-11-24	MAJ pour fusion avec pretyping	herbelin
1999-11-24	Version initiale	herbelin
1999-11-24	Versions initiales	herbelin
1999-11-24	Deplace dans parsing	herbelin
1999-11-24	Version initiale	herbelin
1999-11-24	Vernacinterp et Vernacentries (partiellement)	filliatr
1999-11-24	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr
1999-11-23	modules Indrec, Tacentries, Hiddentac	filliatr
1999-11-22	module Wcclausenv	filliatr
1999-11-22	module Tactics (debut)	filliatr
1999-11-22	module Tactics (debut)	filliatr
1999-11-22	modules Indrec, Wcclausenv; progression dans Tacticals	filliatr
1999-11-19	module Pattern, Wcclausenv (interface) et Tacticals	filliatr
1999-11-19	modules Bij, Gmapl, Stock	filliatr
1999-11-19	Version préliminaire	herbelin
1999-11-19	discriminations nets	filliatr
1999-11-18	introduction de Gset et Gmap pour Tlm puis Dn	filliatr
1999-11-18	Sets et Maps avec egalite generique	filliatr
1999-11-18	pas de grosse banniere; pas de double point-virguke	filliatr