[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Isarmathlib-devel] IsarMathLib 1.6.8 released
|
From: |
Slawomir Kolodynski |
|
Subject: |
[Isarmathlib-devel] IsarMathLib 1.6.8 released |
|
Date: |
Sat, 25 Apr 2009 16:29:33 -0700 (PDT) |
I have released IsarMathLib 1.6.8. This version is updated for Isabelle 2009.
There is some new formalized mathematics on commutative semigroups
(http://isarmathlib.org/CommutativeSemigroup_ZF.html) and a general form of
interval arithmetics (http://isarmathlib.org/func_ZF.html#lift_subsets_binop).
Slawekk
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Isarmathlib-devel] IsarMathLib 1.6.8 released,
Slawomir Kolodynski <=