--- a/src/HOL/IsaMakefile Tue Jul 26 14:53:00 2011 +0200
+++ b/src/HOL/IsaMakefile Tue Jul 26 18:11:38 2011 +0200
@@ -447,6 +447,7 @@
Library/Code_Char_ord.thy Library/Code_Integer.thy \
Library/Code_Natural.thy Library/Code_Prolog.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/Dlist.thy Library/Dlist_Cset.thy \
Library/Efficient_Nat.thy Library/Eval_Witness.thy \