coq - The formal proof system

Age	Commit message (Expand)	Author
2006-03-17	Modification des propriétés (svn:executable)	notin
2006-03-17	ajout d'un debut de proprietes pour les FSetWeak	letouzey
2006-03-16	deux tags $ mal formes	letouzey
2006-03-16	propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...	letouzey
2006-03-16	utilisation de removeA dans FSetProperties	letouzey
2006-03-15	renommage NoRedun vers le plus joli NoDup	letouzey
2006-03-15	Typo	letouzey
2006-03-15	Typo	letouzey
2006-03-15	Ajout de fonctions sur les listes	notin
2006-03-15	Réparation de FSet (back to 8628)	notin
2006-03-15	encore un essai	letouzey
2006-03-15	reparation des $	letouzey
2006-03-15	Ajout de theories/FSets contenant la partie "light" de FSets et FMap:	letouzey
2006-03-05	Modularisation des preuves concernant la logique classique, l'indiscernabilit...	herbelin
2006-03-05	Commentaires	herbelin
2006-03-05	Renommage du IP classique pour éviter confusion avec IP constructif	herbelin
2006-03-05	Ajout étude IP généralisé, Gödel-Dummett, buveur	herbelin
2006-03-04	Petite simplification en passant	herbelin
2006-03-04	Titres moins envahissants pour coqdoc	herbelin
2006-02-27	quelques raccourcis commodes + un f_equal plus efficace	letouzey
2006-02-23	Ajout 'exists! x:A, P (suite)	herbelin
2006-02-23	Ajout 'exists! x:A, P	herbelin
2006-02-22	Minimum pour documentation TeX de la biblio	herbelin
2006-02-22	MAJ	herbelin
2006-02-12	Bug Scope	herbelin
2006-02-12	Nettoyage Zmin.v, création Zmax.v et Zminmax.v	herbelin
2006-02-12	Nettoyage Bool:	herbelin
2006-02-12	Unification max_case et max_case2	herbelin
2006-02-12	Unification min_case et min_case2	herbelin
2006-02-11	Commentaires et compatibilité coqdoc	herbelin
2006-02-10	code mort	herbelin
2006-02-08	Ajout bibliothèque String de Laurent Théry	herbelin
2006-02-06	Application des remarques de Pierre Casteran (A:Type plutôt que A:Set) et Ru...	herbelin
2006-01-31	Ajout décidabilité	herbelin
2006-01-22	Application de la suggestion de Nicolas Magaud (#1060)	herbelin
2006-01-21	Backtrack commit précédent: la préservation de l'énoncé exact Acc_ind es...	herbelin
2006-01-21	Préservation énoncé exact Acc_ind par choix nom 'a' comme paramètre de Acc	herbelin
2006-01-19	Correction associativité de IF et exists (visible à l'affichage uniquement ...	herbelin
2005-12-30	Application du souhait de transparence de well_founded_ltof (#1007)	herbelin
2005-12-22	Contrepartie de la suppression des boites automatiques dans format	herbelin
2005-11-30	changement parametres inductifs dans les theories	mohring
2005-08-26	* empty log message *	letouzey
2005-07-15	Fix sumbool_not hint (on behalf of cpaulin).	coq
2005-07-15	add a left and right tactic for classical logic	narboux
2005-07-13	Détection d'un Fold incorrect suite à correction bug #986	herbelin
2005-07-13	Détection d'un Fold incorrect suite à correction bug #986	herbelin
2005-05-19	Documentation	herbelin
2005-05-17	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin
2005-05-02	Finalement, préservation de la compatibilité pour Z_lt_induction et ajout p...	herbelin
2005-05-02	Lemme de passage de l'autre côté d'une égalité	herbelin