ex/ROOT.ML
changeset 127 d9527f97246e
parent 63 94436622324d
child 130 e7dcf3c07865
--- 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";