--- a/src/HOL/Library/Library/ROOT.ML Tue Nov 06 17:44:53 2007 +0100
+++ b/src/HOL/Library/Library/ROOT.ML Tue Nov 06 20:27:33 2007 +0100
@@ -1,3 +1,3 @@
(* $Id$ *)
-use_thys ["Library", "List_Prefix", "List_lexord", "SCT_Examples"];
+use_thys ["Library", "List_Prefix", "List_lexord"];