aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/omega/Omega.v
Commit message (Expand)AuthorAge
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* A generic preprocessing tactic zify for (r)omegaGravatar letouzey2007-07-18
* Modification des propriétés (svn:executable)Gravatar notin2006-03-17
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Déport des lemmes de Omega de ZArith vers OmegaLemmasGravatar herbelin2003-11-05
* Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import"Gravatar herbelin2003-04-09
* Auto with zarith essaye Abstract Omega sur un but FalseGravatar filliatr2003-01-30
* ZArith_base, Zbool, Bool_natGravatar filliatr2002-06-20
* Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vGravatar herbelin2002-05-29
* entetesGravatar filliatr2001-03-15
* un Declare ML Module inutileGravatar filliatr2000-05-08
* portage Omega (mais toujours pas Zpower et Zlogarithm)Gravatar filliatr2000-05-02
* mise sous CVS d'OmegaGravatar filliatr2000-04-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 00:06:09 +0000