index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Init
/
Peano.v
Commit message (
Expand
)
Author
Age
*
- Optimized "auto decomp" which had a (presumably) exponential in
herbelin
2008-12-26
*
ugly comment erroneously left in the minus definition
letouzey
2008-10-14
*
Changing the definitions of pred and minus in the style of GG
werner
2008-06-12
*
Petites corrections diverses :
herbelin
2008-06-02
*
- Modification de la déf de minus et pred conformément aux remarques de
herbelin
2008-05-28
*
Mise en forme des theories
notin
2006-10-17
*
Modification des propriétés (svn:executable)
notin
2006-03-17
*
Documentation
herbelin
2005-05-19
*
Essai d'utilisation de 'where' pour les notations
herbelin
2005-02-04
*
Changement dans les boxed values .
gregoire
2004-11-12
*
Nouvelle en-tête
herbelin
2004-07-16
*
Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...
herbelin
2003-11-29
*
Backtrack sur Peano
herbelin
2003-11-14
*
Lemmes dans un sens plus naturel
herbelin
2003-11-12
*
nat_scope ouvert par defaut
herbelin
2003-10-10
*
Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...
herbelin
2003-09-23
*
traducteur: affiche les commentaires a l'interieur des commandes
barras
2003-09-22
*
Les notations 'x <= y <= z' sont réservées et s'appliquent maintenant aussi...
herbelin
2003-09-21
*
Mise en place des V8Notation et V8Infix pour declarer des notations en v8 mem...
herbelin
2003-09-19
*
Bind et Delimit pour nat
herbelin
2003-09-12
*
Concentration des notations officielles dans Init/Notations; restructuration ...
herbelin
2003-05-21
*
Blancs
herbelin
2003-04-29
*
Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import"
herbelin
2003-04-09
*
Déplacement de minus dans Peano
herbelin
2003-03-29
*
lemmes plus_O_n et plus_Sn_m (pour Yves)
filliatr
2002-05-07
*
lemmes plus_O_n et plus_Sn_m (pour Yves)
filliatr
2002-05-07
*
option -dump-glob pour coqdoc
filliatr
2002-02-14
*
Modifs incongrues dans le précédent commit
herbelin
2002-01-10
*
MAJ des Id pour coqweb
herbelin
2002-01-09
*
Suppression d'Export redondants
herbelin
2001-11-14
*
documentation automatique de la bibliothèque standard
filliatr
2001-04-11
*
entetes
filliatr
2001-03-15
*
- méthode load sur les Hints
filliatr
1999-12-13
*
fichiers prelude Coq
filliatr
1999-12-13