--- a/src/HOL/IsaMakefile Thu Nov 17 18:44:56 2011 +0100
+++ b/src/HOL/IsaMakefile Thu Nov 17 19:01:05 2011 +0100
@@ -1507,7 +1507,8 @@
$(LOG)/HOL-Quotient_Examples.gz: $(OUT)/HOL \
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
+ Quotient_Examples/Quotient_Int.thy Quotient_Examples/Quotient_Message.thy \
+ Quotient_Examples/Lift_Set.thy
@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples