diff -r 8ff6c8c95870 -r 13b15899c528 ex/ROOT.ML
--- a/ex/ROOT.ML	Tue Sep 27 13:23:04 1994 +0100
+++ b/ex/ROOT.ML	Wed Sep 28 12:39:32 1994 +0100
@@ -20,6 +20,7 @@
 time_use_thy "Puzzle";
 time_use_thy "NatSum";
 time_use     "ex/set.ML";
+time_use_thy "LList";
 time_use_thy "Acc";
 time_use_thy "PropLog";
 time_use_thy "Term";