2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2007-10-06 ago removed duplicate target;
2005-09-17 ago plain test session, includes example;
2005-09-03 ago converted to Isar theory format;
2001-04-19 ago renaming of theory LOmega to lomega2 in order to prevent a possible
1998-01-20 ago reorganized into individual theories;
1998-01-07 ago improved targets;
1997-12-19 ago log files;
1997-07-07 ago eliminated chmod -w;
1997-05-06 ago fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-03-20 ago isatool usedir;
1997-01-08 ago IsaMakefile for Cube;