index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories7
Commit message (
Expand
)
Author
Age
*
Finalement, espacement autour du ':' pour a la fois exists, forall et fun
herbelin
2003-12-23
*
Affichage sur le modèle du forall pour le exists
herbelin
2003-12-21
*
exists | --> exists ,
barras
2003-12-16
*
Duplication temporaire des règles de syntaxe des paires
herbelin
2003-12-16
*
power associe a droite
marche
2003-12-05
*
Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...
herbelin
2003-12-04
*
Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le mem...
herbelin
2003-12-03
*
Meilleure robustesse des reordonnement d'arguments (3eme)
herbelin
2003-12-01
*
Meilleure robustesse des reordonnement d'arguments (2eme)
herbelin
2003-12-01
*
Meilleure robustesse des reordonnement d'arguments
herbelin
2003-12-01
*
Meilleure robustesse des reordonnement d'arguments
herbelin
2003-12-01
*
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7
herbelin
2003-11-29
*
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7
herbelin
2003-11-29