--- a/IsaMakefile	Sat May 30 11:12:46 2009 +0200
+++ b/IsaMakefile	Sat May 30 17:40:20 2009 +0200
@@ -26,7 +26,8 @@
           ProgTutorial/*.ML \
           ProgTutorial/Recipes/*.thy \
           ProgTutorial/Package/*.thy \
-          ProgTutorial/Package/*.ML 
+          ProgTutorial/Package/*.ML
+	@rm -rf ProgTutorial/generated/* 
 	$(USEDIR) HOL ProgTutorial
 	$(ISATOOL) version > ProgTutorial/generated/version 
 	$(ML_HOME)/poly -v > ProgTutorial/generated/pversion