| Thu, 23 Sep 2010 14:49:23 +0200 | updated "op +", "op -", "op *". "HOL.divide" in src & test | file | diff | annotate |
| Thu, 02 Sep 2010 15:11:23 +0200 | cleanup within Knowledge/Poly, start with Scripts | file | diff | annotate |
| Tue, 31 Aug 2010 15:36:57 +0200 | updated Knowledge/Atools.thy + some changes + changes ahead | file | diff | annotate |