diff -r ced4104f6c1f -r 6b2031004d3f src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Wed Dec 05 14:16:14 2007 +0100
+++ b/src/HOL/ex/ROOT.ML	Wed Dec 05 14:16:15 2007 +0100
@@ -7,7 +7,6 @@
 no_document use_thys [
   "Parity",
   "GCD",
-  "Classpackage",
   "Eval",
   "State_Monad",
   "Code_Integer",