--- a/src/HOL/IsaMakefile Sat Dec 03 21:25:34 2011 +0100
+++ b/src/HOL/IsaMakefile Sun Dec 04 13:10:19 2011 +0100
@@ -438,7 +438,7 @@
Library/Code_Real_Approx_By_Float.thy \
Tools/Predicate_Compile/code_prolog.ML Library/ContNotDenum.thy \
Library/Cset.thy Library/Cset_Monad.thy Library/Continuity.thy \
- Library/Convex.thy Library/Countable.thy Library/Diagonalize.thy \
+ Library/Convex.thy Library/Countable.thy \
Library/Dlist.thy Library/Dlist_Cset.thy Library/Efficient_Nat.thy \
Library/Eval_Witness.thy Library/Executable_Set.thy \
Library/Extended_Real.thy Library/Extended_Nat.thy Library/Float.thy \