|
| From: | Slawomir Kolodynski |
| Subject: | [Isarmathlib-devel] IsarMathLib 1.7.0 released |
| Date: | Tue, 15 Feb 2011 07:05:48 -0800 (PST) |
I released version 1.7.0 of IsarMathLib. This version adds formalized
mathematics contributed by Victor Porton, see theories Generalization_ZF.thy
and NatGenIntEx_ZF.thy.
| [Prev in Thread] | Current Thread | [Next in Thread] |