| Tue, 28 Sep 2010 07:28:10 +0200 | repaired fun uminus_to_string, fun rewrite_terms_ | file | diff | annotate |
| Thu, 09 Sep 2010 09:49:14 +0200 | intermediate state in Knowledge/EqSystem.thy | file | diff | annotate |
| Tue, 31 Aug 2010 16:00:13 +0200 | num_str --> num_str @{thm | file | diff | annotate |
| Tue, 31 Aug 2010 15:36:57 +0200 | updated Knowledge/Atools.thy + some changes + changes ahead | file | diff | annotate |
| Wed, 25 Aug 2010 16:20:07 +0200 | renamed isac's directories and Build_Isac.thy | file | diff | annotate | base |