aboutsummaryrefslogtreecommitdiff
path: root/contrib/omega/Omega.v
AgeCommit message (Expand)Author
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2008-12-16Take advantage of natdynlink when available: almost all contribs become loada...letouzey
2007-07-18A generic preprocessing tactic zify for (r)omegaletouzey
2006-03-17Modification des propriétés (svn:executable)notin
2004-07-16Nouvelle en-têteherbelin
2003-11-29Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...herbelin
2003-11-05Déport des lemmes de Omega de ZArith vers OmegaLemmasherbelin
2003-04-09Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import"herbelin
2003-01-30Auto with zarith essaye Abstract Omega sur un but Falsefilliatr
2002-06-20ZArith_base, Zbool, Bool_natfilliatr
2002-05-29Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vherbelin
2001-03-15entetesfilliatr
2000-05-08un Declare ML Module inutilefilliatr
2000-05-02portage Omega (mais toujours pas Zpower et Zlogarithm)filliatr
2000-04-28mise sous CVS d'Omegafilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 23:11:09 +0000