Tue, 01 Mar 2011 15:23:59 +0100 | intermed.update to Isabelle2011: test/../syntax added | file | diff | annotate |
Sat, 26 Feb 2011 12:37:58 +0100 | intermed.update to Isabelle2011: ProgLang works | file | diff | annotate |
Sat, 26 Feb 2011 11:34:08 +0100 | intermed.update to Isabelle2011 | file | diff | annotate |
Tue, 31 Aug 2010 15:36:57 +0200 | updated Knowledge/Atools.thy + some changes + changes ahead | file | diff | annotate |
Thu, 26 Aug 2010 10:03:53 +0200 | messed file dependencies. | file | diff | annotate |
Wed, 25 Aug 2010 15:15:01 +0200 | dependencies of isac files clarified in test | file | diff | annotate |