--- a/src/HOL/IsaMakefile Wed Aug 25 16:59:48 2010 +0200
+++ b/src/HOL/IsaMakefile Wed Aug 25 16:59:49 2010 +0200
@@ -1321,7 +1321,8 @@
Predicate_Compile_Examples/ROOT.ML \
Predicate_Compile_Examples/Predicate_Compile_Examples.thy \
Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy \
- Predicate_Compile_Examples/Code_Prolog_Examples.thy
+ Predicate_Compile_Examples/Code_Prolog_Examples.thy \
+ Predicate_Compile_Examples/Hotel_Example.thy
@$(ISABELLE_TOOL) usedir $(OUT)/HOL Predicate_Compile_Examples