src/HOL/Library/Library/ROOT.ML

--- a/src/HOL/Library/Library/ROOT.ML	Mon Feb 26 20:14:52 2007 +0100
+++ b/src/HOL/Library/Library/ROOT.ML	Mon Feb 26 21:34:16 2007 +0100
@@ -3,3 +3,4 @@
 use_thy "Library";
 use_thy "List_Prefix";
 use_thy "List_lexord";
+use_thy "SCT_Examples";