coq - The formal proof system

Age	Commit message (Expand)	Author
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-11-27	Branchement du mécanisme d'instantiation des Evar en présence de définitio...	herbelin
2000-11-02	correction Abstract (et make world passe!)	filliatr
2000-10-23	Petit nettoyage de Evarutil et Evarconv	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-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-28	documentation	filliatr
1999-12-11	Intégration initiale du Cases	herbelin
1999-12-02	modifs pour premiere edition de liens	filliatr
1999-12-01	- environment -> safe_environment	filliatr
1999-11-30	ocamlweb	filliatr
1999-11-29	portage modules Evarconv et Evarutil	filliatr
1999-11-24	Versions initiales	herbelin
1999-10-13	organisation de trad (entre parsing/ et pretyping/)	filliatr