diff -r 97c530dc8aca -r 77221ee0f7b9 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Sep 15 20:51:58 2008 +0200
+++ b/src/HOL/IsaMakefile	Tue Sep 16 09:21:22 2008 +0200
@@ -184,6 +184,7 @@
   ROOT.ML \
   Arith_Tools.thy \
   ATP_Linkup.thy \
+  Code_Eval.thy \
   Complex/Complex_Main.thy \
   Complex/Complex.thy \
   Complex/Fundamental_Theorem_Algebra.thy \
@@ -210,6 +211,7 @@
   Library/GCD.thy \
   Library/Order_Relation.thy \
   Library/Parity.thy \
+  Library/RType.thy \
   Library/Univ_Poly.thy \
   List.thy \
   Main.thy \
@@ -301,7 +303,7 @@
   Library/List_lexord.thy Library/Commutative_Ring.thy			\
   Library/comm_ring.ML Library/Coinductive_List.thy			\
   Library/AssocList.thy		\
-  Library/Binomial.thy Library/Eval.thy Library/Eval_Witness.thy	\
+  Library/Binomial.thy Library/Eval_Witness.thy	\
   Library/Code_Index.thy Library/Code_Char.thy				\
   Library/Code_Char_chr.thy Library/Code_Integer.thy			\
   Library/Code_Message.thy			\