1.1 --- a/src/HOL/IsaMakefile	Tue Jul 26 14:53:00 2011 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jul 26 18:11:38 2011 +0200
     1.3 @@ -447,6 +447,7 @@
     1.4    Library/Code_Char_ord.thy Library/Code_Integer.thy			\
     1.5    Library/Code_Natural.thy Library/Code_Prolog.thy			\
     1.6    Tools/Predicate_Compile/code_prolog.ML Library/ContNotDenum.thy	\
     1.7 +  Library/Cset.thy Library/Cset_Monad.thy 				\
     1.8    Library/Continuity.thy Library/Convex.thy Library/Countable.thy	\
     1.9    Library/Diagonalize.thy Library/Dlist.thy Library/Dlist_Cset.thy 	\
    1.10    Library/Efficient_Nat.thy Library/Eval_Witness.thy 			\