Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News: version 1.6.9 released
Show feedback again
Latest News
version 1.6.9 released posted by slawekk, Tue 30 Jun 2009 08:49:33 PM UTC - 0 replies
version 1.6.7 released posted by slawekk, Wed 18 Feb 2009 01:33:17 AM UTC - 0 replies
version 1.6.6 released posted by slawekk, Thu 18 Dec 2008 11:15:07 PM UTC - 0 replies
version 1.6.5 released posted by slawekk, Mon 22 Sep 2008 01:01:30 AM UTC - 0 replies
version 1.6.4 released posted by slawekk, Sat 28 Jun 2008 09:15:48 PM UTC - 0 replies
[Submit News]
[30 news in archive]
[Submit News]
[30 news in archive]
version 1.6.9 released
Item posted by Slawomir Kolodynski <slawekk> on Tue 30 Jun 2009 08:49:33 PM UTC.
This version adds a theory on topological groups.
Comments:
No messages in version 1.6.9 released
Start a New Thread:
Show feedback again

