aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Init/Prelude.v
Commit message (Expand)AuthorAge
* Fix dependency bugs due to Program modules renamings.Gravatar msozeau2007-08-08
* Move Program tactics into a proper theories/ directory as they are general pu...Gravatar msozeau2007-08-07
* Modification des propriétés (svn:executable)Gravatar notin2006-03-17
* Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateursGravatar herbelin2005-02-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Ordre (symbolique) des RequireGravatar herbelin2003-10-28
* Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...Gravatar herbelin2003-09-23
* Suppression DatatypesSyntax et PeanoSyntax qui était videsGravatar herbelin2003-09-12
* Deplacement delimiteur T dans NotationsGravatar herbelin2003-06-10
* Concentration des notations officielles dans Init/Notations; restructuration ...Gravatar herbelin2003-05-21
* Essai d'introduction d'un scope des typesGravatar herbelin2002-12-03
* Mise en place d'ensembles de notations symboliques pour nat, Z et RGravatar herbelin2002-10-13
* MAJ des Id pour coqwebGravatar herbelin2002-01-09
* entetesGravatar filliatr2001-03-15
* fichiers prelude CoqGravatar filliatr1999-12-13