1.1 --- a/src/HOL/IsaMakefile	Sun Dec 25 08:42:33 2011 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Dec 26 17:40:43 2011 +0100
     1.3 @@ -447,7 +447,7 @@
     1.4    Library/Cset.thy Library/Cset_Monad.thy Library/Continuity.thy	\
     1.5    Library/Convex.thy Library/Countable.thy				\
     1.6    Library/Dlist.thy Library/Dlist_Cset.thy Library/Efficient_Nat.thy	\
     1.7 -  Library/Eval_Witness.thy Library/Executable_Set.thy			\
     1.8 +  Library/Eval_Witness.thy						\
     1.9    Library/Extended_Real.thy Library/Extended_Nat.thy Library/Float.thy	\
    1.10    Library/Formal_Power_Series.thy Library/Fraction_Field.thy		\
    1.11    Library/FrechetDeriv.thy Library/Cset.thy Library/FuncSet.thy		\
    1.12 @@ -963,7 +963,7 @@
    1.13  
    1.14  HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz
    1.15  
    1.16 -$(LOG)/HOL-MicroJava.gz: $(OUT)/HOL Library/Executable_Set.thy		\
    1.17 +$(LOG)/HOL-MicroJava.gz: $(OUT)/HOL					\
    1.18    MicroJava/ROOT.ML MicroJava/Comp/AuxLemmas.thy			\
    1.19    MicroJava/Comp/CorrComp.thy MicroJava/Comp/CorrCompTp.thy		\
    1.20    MicroJava/Comp/DefsComp.thy MicroJava/Comp/Index.thy			\