coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Effets de bords suite à la restructuration des inductives (cf Inductive)	herbelin	2000-05-18
*	Renommage try_mutind_of en find_inductive (on fait ce qu'on peut !)	herbelin	2000-05-04
*	pattern-matching non-exhaustif (occur_rawconstr)	filliatr	2000-05-02
*	Retrait fullmind de inductive_summary pour simplicité	herbelin	2000-04-27
*	Introduction d'un type constr_pattern pour les différents filtrages	herbelin	2000-04-26
*	Extension du case_info : ajout du nombre de vrais args de chaque constr pour ...	herbelin	2000-03-21
*	Qqes bugs (evars dans le predicat; tag des cas défauts)	herbelin	2000-03-16
*	Reparation bug isevars dans pretyping	herbelin	2000-03-10
*	Un nouveau moteur pour Cases (phase 1)	herbelin	2000-03-08
*	Abstraction de l'implémentation des signatures de Sign en vue intégration d...	herbelin	2000-01-26
*	Correction pbs liés aux evar	herbelin	2000-01-07
*	Bug lift	herbelin	1999-12-15
*	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin	1999-12-15
*	Poursuite intégration du Cases	herbelin	1999-12-13
*	Intégration initiale du Cases	herbelin	1999-12-11
*	modifs pour premiere edition de liens	filliatr	1999-12-02