1.1 --- a/src/HOL/IsaMakefile	Tue Apr 03 14:09:37 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Apr 03 16:26:48 2012 +0200
     1.3 @@ -281,6 +281,7 @@
     1.4    Hilbert_Choice.thy \
     1.5    Int.thy \
     1.6    Lazy_Sequence.thy \
     1.7 +  Lifting.thy \
     1.8    List.thy \
     1.9    Main.thy \
    1.10    Map.thy \
    1.11 @@ -315,6 +316,10 @@
    1.12    Tools/code_evaluation.ML \
    1.13    Tools/groebner.ML \
    1.14    Tools/int_arith.ML \
    1.15 +  Tools/Lifting/lifting_def.ML \
    1.16 +  Tools/Lifting/lifting_info.ML \
    1.17 +  Tools/Lifting/lifting_term.ML \
    1.18 +  Tools/Lifting/lifting_setup.ML \
    1.19    Tools/list_code.ML \
    1.20    Tools/list_to_set_comprehension.ML \
    1.21    Tools/nat_numeral_simprocs.ML \
    1.22 @@ -1495,7 +1500,7 @@
    1.23    Quotient_Examples/FSet.thy \
    1.24    Quotient_Examples/Quotient_Int.thy Quotient_Examples/Quotient_Message.thy \
    1.25    Quotient_Examples/Lift_Set.thy Quotient_Examples/Lift_RBT.thy \
    1.26 -  Quotient_Examples/Lift_Fun.thy 
    1.27 +  Quotient_Examples/Lift_Fun.thy Quotient_Examples/Lift_DList.thy
    1.28  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples
    1.29  
    1.30