aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/ring/Ring_abstract.v
Commit message (Expand)AuthorAge
* Encore des _sym au lieu de _commGravatar herbelin2006-11-13
* commit de field + renommagesGravatar barras2006-09-26
* mise a jour du nouveau ring et ajout du nouveau field, avant renommagesGravatar barras2006-09-26
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* eq fusionne avec eqT et devient par défaut sur Type,Gravatar herbelin2003-03-29
* Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vGravatar herbelin2002-05-29
* - abstract_sum_scalar, plus_sum_scalar and minus_sum_scalar were bogusGravatar barras2002-05-15
* Expérimentation de NewDestruct et parfois NewInductionGravatar herbelin2001-08-05
* réparation Ring (simplifications)Gravatar filliatr2001-05-14
* entetesGravatar filliatr2001-03-15
* Meta Definition -> Tactic DefinitionGravatar delahaye2001-01-09
* Tactic Definition -> Meta DefinitionGravatar delahaye2001-01-09
* Correction sur commit errone de la version 1.3Gravatar herbelin2000-11-07
* Changement/extension dans les noms de parseurs de GrammarGravatar herbelin2000-11-07
* Syntaxe des tactiquesGravatar herbelin2000-10-24
* RingGravatar filliatr2000-06-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-04 17:54:55 +0000