IsarMathLib updated to Isabelle 2007
By slawekk
I have released version 1.6.2 of IsarMathLib . This is the first version that has been verified with Isabelle 2007. I also added a new thery file about folds in ZF set theory, presented before on this blog, and rewrote the theory file about semigroups.
This entry was posted on December 31, 2007 at 12:40 am and is filed under IsarMathLib releases. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.
