doc-src/IsarAdvanced/Functions/IsaMakefile
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2006-11-07 ago Added a (stub of a) function tutorial