src/HOL/IsaMakefile
changeset 36280 c4f5823f282d
parent 36277 9be4ab2acc13
child 36297 6b2b9516a3cd
child 36375 2482446a604c
--- a/src/HOL/IsaMakefile	Thu Apr 22 22:12:12 2010 +0200
+++ b/src/HOL/IsaMakefile	Fri Apr 23 10:00:53 2010 +0200
@@ -1294,6 +1294,7 @@
 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
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples