aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/omega/Zlogarithm.v
Commit message (Expand)AuthorAge
* entetesGravatar filliatr2001-03-15
* - coqc : option -imageGravatar filliatr2001-02-01
* Opaque pas encore implementee; syntax langage tactiquesGravatar filliatr2000-07-03
* portage Omega (mais toujours pas Zpower et Zlogarithm)Gravatar filliatr2000-05-02
* mise sous CVS d'OmegaGravatar filliatr2000-04-28