src/Doc/Datatypes/Datatypes.thy

--- a/src/Doc/Datatypes/Datatypes.thy	Wed Sep 17 11:12:46 2014 +0200
+++ b/src/Doc/Datatypes/Datatypes.thy	Wed Sep 17 11:54:59 2014 +0200
@@ -1997,7 +1997,7 @@
 pseudorandom seed (@{text n}):
 *}
 
-    primcorec
+    primcorec(*<*) (in early)(*>*)
       random_process :: "'a stream \<Rightarrow> (int \<Rightarrow> int) \<Rightarrow> int \<Rightarrow> 'a process"
     where
       "random_process s f n =