index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
Commit message (
Expand
)
Author
Age
*
suite tentative pour permettre l'utilisation de modules de FSets
letouzey
2006-05-20
*
on cache autant que possible Raw dans FSet(Weak)List.Make
letouzey
2006-05-19
*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8829 85f007b7-540e-04...
letouzey
2006-05-18
*
Typo dans List.v
notin
2006-05-17
*
Ajout de [count_occ] dans List.v
notin
2006-05-17
*
etoffage des notions de permutations (a la fois List.Permutation et Permutati...
letouzey
2006-05-16
*
3*rien
letouzey
2006-05-15
*
ajout d'exemples de decidable types
letouzey
2006-05-15
*
petit ajout concernant InA
letouzey
2006-05-15
*
On remet plutot l'ancien nom Zgcd_is_pos au lieu de Zgcd_pos
letouzey
2006-05-14
*
In_dec de nouveau transparent
letouzey
2006-05-14
*
reparartion d'un petit oubli cassant PrecedenceGraph
letouzey
2006-05-14
*
typo
letouzey
2006-05-13
*
un Zgcd calculant dans coq
letouzey
2006-05-13
*
une fonction pouvant calculer le gcd en coq
letouzey
2006-05-11
*
quelques ajouts venant des fichiers de Evelyne C.
letouzey
2006-05-11
*
decidabilite de InA
letouzey
2006-05-11
*
Duplication du fichier FSetProperties pour les ensembles Weak.
letouzey
2006-05-11
*
r9089@thot: notin | 2006-05-10 14:40:51 +0200
notin
2006-05-11
*
un Zgcd general gardant trace des coefs
letouzey
2006-05-05
*
suite de l'ajout des FSets/FMaps dans les theories standards
letouzey
2006-04-29
*
meilleur nommage pour PairOrderedType
letouzey
2006-04-29
*
qq proprietes de plus sur Ncompare
letouzey
2006-04-29
*
Standardisation du nom des méthodes de Evd
herbelin
2006-04-28
*
Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...
notin
2006-04-28
*
2-3 lemmes en plus pour que les Bvectors soient effectivement utilisables
letouzey
2006-04-27
*
suite du pont entre Bvector et N
letouzey
2006-04-26
*
Un gros coup de lifting pour IntMap:
letouzey
2006-04-25
*
un lemme de double inclusion
letouzey
2006-04-25
*
New unification can solve the problem without eta-expansion,
msozeau
2006-04-10
*
versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes
letouzey
2006-04-06
*
versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmes
letouzey
2006-04-06
*
ouverture du bon scope (positive_scope) derriere le constructeur Npos de N
letouzey
2006-04-06
*
on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa...
letouzey
2006-04-05
*
Réajout de eq_rec_eq oublié lors de la modularisation de Eqdep
herbelin
2006-03-30
*
pour coqdoc
letouzey
2006-03-29
*
Nommage explicite de certains "intro" pour préserver la compatibilité
herbelin
2006-03-28
*
reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...
letouzey
2006-03-28
*
Modification des propriétés (svn:executable)
notin
2006-03-17
*
ajout d'un debut de proprietes pour les FSetWeak
letouzey
2006-03-17
*
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-16
*
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
[next]