| Tue, 01 Mar 2011 15:23:59 +0100 | intermed.update to Isabelle2011: test/../syntax added | 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 |