# HG changeset patch
# User bulwahn
# Date 1311696698 -7200
# Node ID def89b8c6948bfecd502b1ee9b73cbe8dc468c02
# Parent  2850b7dc27a4fd7dd359e7674416fdf543347373
more precise dependencies

diff -r 2850b7dc27a4 -r def89b8c6948 src/HOL/IsaMakefile
--- 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 			\