diff -r a294e4ebe0a3 -r 3909002beca5 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Apr 28 17:42:37 2010 +0200
+++ b/src/HOL/IsaMakefile	Thu Apr 29 09:06:35 2010 +0200
@@ -1295,8 +1295,8 @@
 HOL-Quotient_Examples: HOL $(LOG)/HOL-Quotient_Examples.gz
 
 $(LOG)/HOL-Quotient_Examples.gz: $(OUT)/HOL				\
-  Quotient_Examples/FSet.thy                                            \
-  Quotient_Examples/LarryInt.thy Quotient_Examples/LarryDatatype.thy
+  Quotient_Examples/FSet.thy Quotient_Examples/Quotient_Int.thy         \
+  Quotient_Examples/Quotient_Message.thy
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples