isarmathlib-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Isarmathlib-devel] Version 1.9.0 released


From: Slawomir Kolodynski
Subject: [Isarmathlib-devel] Version 1.9.0 released
Date: Mon, 22 Jul 2013 01:42:09 -0700 (PDT)

I have released IsarMathLib version  1.9.0. This is a major release with 10 new theory files with 155 new theorems, contributed by Daniel Daniel de la Concepción Sáez. The new theory files are Cardinal_ZF, Group_ZF_4,Topology_ZF_8, Topology_ZF_9, Topology_ZF_10, Topology_ZF_11.thy,  Topology_ZF_properties_2, TopologicalGroup_ZF_1, TopologicalGroup_ZF_2, TopologicalGroup_ZF_3. The first theory contributed by Daniel, Topology_ZF_4 (included in the 1.8.0 release) is now presented on isarmathlib.org.

Slawomir Kolodynski

reply via email to

[Prev in Thread] Current Thread [Next in Thread]