--- a/src/HOL/ex/ROOT.ML Fri Jun 14 12:25:02 1996 +0200
+++ b/src/HOL/ex/ROOT.ML Fri Jun 14 12:25:19 1996 +0200
@@ -23,6 +23,7 @@
time_use_thy "LexProd";
time_use_thy "Puzzle";
time_use_thy "Mutil";
+time_use_thy "Primes";
time_use_thy "NatSum";
time_use "set.ML";
time_use_thy "SList";