src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Mon May 26 12:33:38 1997 +0200
+++ b/src/HOL/ex/ROOT.ML	Mon May 26 12:34:05 1997 +0200
@@ -14,6 +14,7 @@
 (**Some examples of recursive function definitions: the TFL package**)
 time_use_thy "Fib";
 time_use_thy "Primes";
+time_use_thy "Primrec";
 
 time_use_thy "NatSum";
 time_use     "cla.ML";