| Tue, 01 Mar 2011 15:23:59 +0100 | intermed.update to Isabelle2011: test/../syntax added | file | diff | annotate |
| Sat, 26 Feb 2011 11:34:08 +0100 | intermed.update to Isabelle2011 | file | diff | annotate |
| Wed, 25 Aug 2010 15:15:01 +0200 | dependencies of isac files clarified in test | file | diff | annotate |