diff -r a11a1e4e0403 -r 97e7d9c189db src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Aug 17 15:29:41 2010 +0200
+++ b/src/HOL/IsaMakefile	Tue Aug 17 16:27:58 2010 +0200
@@ -343,7 +343,6 @@
   Tools/string_code.ML \
   Tools/string_syntax.ML \
   Tools/transfer.ML \
-  Tools/typecopy.ML \
   Tools/TFL/casesplit.ML \
   Tools/TFL/dcterm.ML \
   Tools/TFL/post.ML \