diff -r c13b0406c039 -r ac146fc38b51 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed May 06 16:01:05 2009 +0200
+++ b/src/HOL/IsaMakefile	Wed May 06 16:01:06 2009 +0200
@@ -206,7 +206,6 @@
 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
   ATP_Linkup.thy \
   Code_Eval.thy \
-  Code_Message.thy \
   Equiv_Relations.thy \
   Groebner_Basis.thy \
   Hilbert_Choice.thy \
@@ -220,6 +219,7 @@
   Presburger.thy \
   Recdef.thy \
   SetInterval.thy \
+  String.thy \
   $(SRC)/Provers/Arith/assoc_fold.ML \
   $(SRC)/Provers/Arith/cancel_numeral_factor.ML \
   $(SRC)/Provers/Arith/cancel_numerals.ML \