--- a/src/HOL/IsaMakefile Wed Jun 01 23:08:04 2011 +0200
+++ b/src/HOL/IsaMakefile Thu Jun 02 08:55:08 2011 +0200
@@ -443,6 +443,7 @@
Library/Code_Prolog.thy Tools/Predicate_Compile/code_prolog.ML \
Library/ContNotDenum.thy Library/Continuity.thy Library/Convex.thy \
Library/Countable.thy Library/Diagonalize.thy Library/Dlist.thy \
+ Library/Dlist_Cset.thy \
Library/Efficient_Nat.thy Library/Eval_Witness.thy \
Library/Executable_Set.thy Library/Extended_Reals.thy \
Library/Float.thy Library/Formal_Power_Series.thy \