diff -r e72018e0dd75 -r 2b002c6b0f7d src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Oct 31 19:12:41 2011 +0100
+++ b/src/HOL/IsaMakefile	Tue Nov 01 10:05:28 2011 +0100
@@ -1503,8 +1503,8 @@
 HOL-Quotient_Examples: HOL $(LOG)/HOL-Quotient_Examples.gz
 
 $(LOG)/HOL-Quotient_Examples.gz: $(OUT)/HOL				\
-  Quotient_Examples/DList.thy Quotient_Examples/Quotient_Set.thy \
-  Quotient_Examples/FSet.thy Quotient_Examples/List_Quotient_Set.thy \
+  Quotient_Examples/DList.thy Quotient_Examples/Quotient_Cset.thy \
+  Quotient_Examples/FSet.thy Quotient_Examples/List_Quotient_Cset.thy \
   Quotient_Examples/Quotient_Int.thy Quotient_Examples/Quotient_Message.thy
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples