diff -r 872f866e630f -r d9527f97246e ex/ROOT.ML
--- 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";