aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories7
Commit message (Expand)AuthorAge
* Tactics.v bidon pour accomoder make world7Gravatar herbelin2005-02-03
* Généralisation à Type de certaines propriétés des relationsGravatar herbelin2004-11-19
* 'match term' now evaluates by default. Added 'lazy' keyword to delay the eval...Gravatar herbelin2004-10-11
* V7 .v files for Setoid_* and Ring over setoids commented out.Gravatar sacerdot2004-09-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* Bug réaffichage EXTGravatar herbelin2004-04-15
* Definition de la notation de la paire par un motif recursifGravatar herbelin2004-03-17
* CommentairesGravatar herbelin2004-03-17
* Bug compatibiliteGravatar herbelin2004-03-12
* MAJ CommentairesGravatar herbelin2004-02-28
* Ajout delimiteur pour bool_scopeGravatar herbelin2004-02-12
* Décomposition automatique des règles d'analyse syntaxique pour lesGravatar herbelin2004-02-12
* MAJ simplificationGravatar herbelin2004-01-27
* Suppression de Rsyntax en v8Gravatar herbelin2004-01-13
* bugs avec Pose et AssertGravatar barras2004-01-09
* Retrait de la notation '^' pour 'power' en V7 car sinon confusion avec la syn...Gravatar herbelin2004-01-09
* Vieille syntaxeGravatar herbelin2004-01-07
* Ajout delimiteur et arguments de scope pour listGravatar herbelin2003-12-24
* Finalement, espacement autour du ':' pour a la fois exists, forall et funGravatar herbelin2003-12-23
* Affichage sur le modèle du forall pour le existsGravatar herbelin2003-12-21
* exists | --> exists ,Gravatar barras2003-12-16
* Duplication temporaire des règles de syntaxe des pairesGravatar herbelin2003-12-16
* power associe a droiteGravatar marche2003-12-05
* Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...Gravatar herbelin2003-12-04
* Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le mem...Gravatar herbelin2003-12-03
* Meilleure robustesse des reordonnement d'arguments (3eme)Gravatar herbelin2003-12-01
* Meilleure robustesse des reordonnement d'arguments (2eme)Gravatar herbelin2003-12-01
* Meilleure robustesse des reordonnement d'argumentsGravatar herbelin2003-12-01
* Meilleure robustesse des reordonnement d'argumentsGravatar herbelin2003-12-01
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7Gravatar herbelin2003-11-29
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7Gravatar herbelin2003-11-29