coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Mise en place d'un système optionnel de discharge immédiat; prise en compte...	herbelin	2001-02-14
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...	filliatr	2000-11-06
*	Simplifications autour de typed_type (renommé types par analogie avec sorts)...	herbelin	2000-10-18
*	Renommage canonique :	herbelin	2000-10-18
*	Canonisation de certains noms dans Pretyping, Asterm et Safe_typing	herbelin	2000-09-06
*	retablissement make doc et make minicoq	filliatr	2000-07-25
*	Passage à des contextes de vars et de rels pouvant contenir des déclarations	herbelin	2000-07-24
*	retablissement minicoq (pour Jacek)	filliatr	2000-07-21
*	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
*	Abstraction du type typed_type (un pas vers les jugements 2 niveaux)	herbelin	2000-04-20
*	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
*	- constantes avec recettes	filliatr	1999-12-09
*	- environment -> safe_environment	filliatr	1999-12-01
*	- Typing -> Safe_typing	filliatr	1999-12-01