| Age | Commit message (Expand) | Author |
|---|
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-04-21 | Rename [Morphism] into [Proper] and [respect] into [proper] to comply | msozeau |
| 2009-04-18 | Just export RelationClasses for [Equivalence] through Setoid. | msozeau |
| 2009-01-18 | Getting rid of the previous implementation of setoid_rewrite which was | msozeau |
| 2008-12-26 | FMaps: various updates (mostly suggested by P. Casteran) | letouzey |
| 2008-09-04 | Improve typeclasses eauto using the dnet for local assumptions too, and select | msozeau |
| 2008-04-08 | - A little cleanup in Classes/*. Separate standard morphisms on | msozeau |
| 2008-03-22 | Compatibility fixes, backtrack on definitions of reflexive, | msozeau |
| 2008-03-06 | Plug the new setoid implemtation in, leaving the original one commented | msozeau |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-09-28 | Oubli dans Setoid.v | notin |
| 2007-09-27 | Découpage de Setoid.v | notin |
| 2006-10-17 | Mise en forme des theories | notin |
| 2006-09-26 | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | barras |
| 2006-05-28 | - Déplacement des types paramétriques prod, sum, option, identity, | herbelin |
| 2006-05-11 | Duplication du fichier FSetProperties pour les ensembles Weak. | letouzey |
| 2006-04-28 | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | notin |
| 2006-02-22 | Minimum pour documentation TeX de la biblio | herbelin |
| 2004-11-16 | Copy of the definition of prodT (already in the standard library) removed. | sacerdot |
| 2004-10-19 | Proof term size reduction (again). | sacerdot |
| 2004-10-18 | * Code simplification and clean-up. In particular there is no more code | sacerdot |
| 2004-10-07 | iff and impl are now declared as transitive relations. | sacerdot |
| 2004-10-06 | * New syntactic sugar: Add Relation ... transitivity proved by ... | sacerdot |
| 2004-10-06 | added transitivity | barras |
| 2004-09-29 | impl is a reflexive relation (it used to be areflexive). | sacerdot |
| 2004-09-29 | impl relation and impl/and/or/not morphisms over impl declared. | sacerdot |
| 2004-09-08 | * cleaning/renaming | sacerdot |
| 2004-09-08 | The Coq part of the reflexive tactic is now able to handle also | sacerdot |
| 2004-09-07 | * The Coq part of the reflexive tactic setoid_rewrite is generalized to | sacerdot |
| 2004-09-03 | New reflexive implementation of setoid_rewrite. The new implementation | sacerdot |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2003-11-29 | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin |
| 2003-10-03 | Cacher les .v8 | herbelin |
| 2002-05-29 | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin |
| 2002-04-17 | Uniformisation (Qed/Save et Implicits Arguments) | herbelin |
| 2002-01-09 | MAJ des Id pour coqweb | herbelin |
| 2001-09-19 | Deplacement des setoides. | clrenard |
