# HG changeset patch
# User paulson
# Date 834747919 -7200
# Node ID 1b4d20a06ba0ccb7153db97e4045dfa02a7a911f
# Parent  c055505f36d1d2aff0885bf9399fba3c5e290557
Added new Primes theory

diff -r c055505f36d1 -r 1b4d20a06ba0 src/HOL/ex/ROOT.ML
--- 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";