--- a/src/HOL/IsaMakefile Tue Sep 07 11:51:53 2010 +0200
+++ b/src/HOL/IsaMakefile Tue Sep 07 11:51:53 2010 +0200
@@ -1327,6 +1327,10 @@
Predicate_Compile_Examples/Code_Prolog_Examples.thy \
Predicate_Compile_Examples/Context_Free_Grammar_Example.thy \
Predicate_Compile_Examples/Hotel_Example.thy \
+ Predicate_Compile_Examples/IMP_1.thy \
+ Predicate_Compile_Examples/IMP_2.thy \
+ Predicate_Compile_Examples/IMP_3.thy \
+ Predicate_Compile_Examples/IMP_4.thy \
Predicate_Compile_Examples/Lambda_Example.thy \
Predicate_Compile_Examples/List_Examples.thy
@$(ISABELLE_TOOL) usedir $(OUT)/HOL Predicate_Compile_Examples