doc-src/ZF/IsaMakefile
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2003-08-19 ago For the Isar version of the ZF logics manual