[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Isarmathlib-devel] version 1.6.9 released
From: |
Slawomir Kolodynski |
Subject: |
[Isarmathlib-devel] version 1.6.9 released |
Date: |
Tue, 30 Jun 2009 13:54:49 -0700 (PDT) |
I have released version 1.6.9. Added a new theory on topological groups with
basic definitions, notation and a theorem that a subgroup of a topological
group is itself a topological group. A total of 23 new theorems have been added
in this version.
Slawekk
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Isarmathlib-devel] version 1.6.9 released,
Slawomir Kolodynski <=