index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Lists
/
SetoidList.v
Commit message (
Expand
)
Author
Age
*
Simplify proofs in Permutation using generalized rewriting.
msozeau
2011-03-04
*
Made notations for exists, exists! and notations of Utf8.v recursive notations
herbelin
2010-07-22
*
Reverted 13293 commited mistakenly. Sorry for the noise.
herbelin
2010-07-18
*
Tentative de suppression de l'import automatique des hints et coercions.
herbelin
2010-07-18
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Granting wish #2229 (InA_dec transparent) and Michael Day's coq-club
herbelin
2010-04-10
*
List + SetoidList : some cleanup around predicates Exists, Forall, Forall2, F...
letouzey
2009-11-02
*
Merge SetoidList2 into SetoidList.
letouzey
2009-10-19
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Typo in a comment
letouzey
2009-07-20
*
Various little fixes:
msozeau
2009-01-18
*
FMaps: various updates (mostly suggested by P. Casteran)
letouzey
2008-12-26
*
FMap: fold_rec + more permissive transpose hyp + various cleanup
letouzey
2008-12-22
*
migration from Set to Type of FSet/FMap + some dependencies...
letouzey
2008-03-04
*
small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is
letouzey
2007-11-06
*
- Extensions of FMap(Weak)Facts:
letouzey
2007-06-27
*
additional properties for FMap (and slight rework of SetoidList and FSetPrope...
letouzey
2007-06-26
*
oups: one file forgotten in my previous commit
letouzey
2007-06-14
*
some more properties of fold and elements in FSetProperties
letouzey
2007-06-08
*
Changement de précédence de l'argument du by de assert; conséquences...
herbelin
2006-05-23
*
un debut de propriétés concernant FMap
letouzey
2006-05-22
*
petit ajout concernant InA
letouzey
2006-05-15
*
decidabilite de InA
letouzey
2006-05-11
*
Duplication du fichier FSetProperties pour les ensembles Weak.
letouzey
2006-05-11
*
versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes
letouzey
2006-04-06
*
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-16
*
renommage NoRedun vers le plus joli NoDup
letouzey
2006-03-15
*
Typo
letouzey
2006-03-15
*
Ajout de fonctions sur les listes
notin
2006-03-15
*
Ajout de theories/FSets contenant la partie "light" de FSets et FMap:
letouzey
2006-03-15