     1.1 --- a/src/HOL/IsaMakefile	Sat Apr 21 21:38:08 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sun Apr 22 11:05:04 2012 +0200
     1.3 @@ -1509,6 +1509,7 @@
     1.4    Quotient_Examples/DList.thy \
     1.5    Quotient_Examples/FSet.thy \
     1.6    Quotient_Examples/Quotient_Int.thy Quotient_Examples/Quotient_Message.thy \
     1.7 +  Quotient_Examples/Lift_FSet.thy \
     1.8    Quotient_Examples/Lift_Set.thy Quotient_Examples/Lift_RBT.thy \
     1.9    Quotient_Examples/Lift_Fun.thy Quotient_Examples/Lift_DList.thy
    1.10  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples
changeset 48531	7a5c681c0265
parent 48524	f7df7104d13e
child 48565	05663f75964c