--- a/ex/ROOT.ML Tue Aug 30 10:04:49 1994 +0200
+++ b/ex/ROOT.ML Tue Aug 30 10:05:46 1994 +0200
@@ -21,7 +21,7 @@
time_use_thy "NatSum";
time_use "ex/set.ML";
time_use_thy "Acc";
-time_use_thy "PL";
+time_use_thy "PropLog";
time_use_thy "Term";
time_use_thy "Simult";
time_use_thy "MT";