[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.