--- a/ex/ROOT.ML Wed Aug 24 18:49:29 1994 +0200
+++ b/ex/ROOT.ML Thu Aug 25 10:47:33 1994 +0200
@@ -20,6 +20,7 @@
time_use_thy "Puzzle";
time_use_thy "NatSum";
time_use "ex/set.ML";
+time_use_thy "Acc";
time_use_thy "PL";
time_use_thy "Term";
time_use_thy "Simult";