1.1 --- a/src/HOL/IsaMakefile	Thu Apr 29 11:41:04 2010 -0700
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 29 11:42:34 2010 -0700
     1.3 @@ -1299,8 +1299,8 @@
     1.4  HOL-Quotient_Examples: HOL $(LOG)/HOL-Quotient_Examples.gz
     1.5  
     1.6  $(LOG)/HOL-Quotient_Examples.gz: $(OUT)/HOL				\
     1.7 -  Quotient_Examples/FSet.thy                                            \
     1.8 -  Quotient_Examples/LarryInt.thy Quotient_Examples/LarryDatatype.thy
     1.9 +  Quotient_Examples/FSet.thy Quotient_Examples/Quotient_Int.thy         \
    1.10 +  Quotient_Examples/Quotient_Message.thy
    1.11  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples
    1.12  
    1.13