# HG changeset patch
# User paulson
# Date 861357235 -7200
# Node ID becc227bad4d4de09c5f02a7b57fc779d0c46f46
# Parent  dbd42504b9fa67d371d45e9480cc59b0503c5833
Now loads theory LList indirectly: via LFilter

diff -r dbd42504b9fa -r becc227bad4d src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Fri Apr 18 11:53:16 1997 +0200
+++ b/src/HOL/ex/ROOT.ML	Fri Apr 18 11:53:55 1997 +0200
@@ -27,7 +27,7 @@
 time_use_thy "NatSum";
 time_use     "set.ML";
 time_use_thy "SList";
-time_use_thy "LList";
+time_use_thy "LFilter";
 time_use_thy "Acc";
 time_use_thy "PropLog";
 time_use_thy "Term";