diff -r e7519207c2b7 -r 19106a9975c1 CookBook/Recipes/TimeLimit.thy
--- a/CookBook/Recipes/TimeLimit.thy	Wed Jan 14 16:46:07 2009 +0000
+++ b/CookBook/Recipes/TimeLimit.thy	Wed Jan 14 17:47:49 2009 +0000
@@ -15,11 +15,9 @@
 
   *}
 
-ML {* 
-fun ackermann (0, n) = n + 1
+ML{*fun ackermann (0, n) = n + 1
   | ackermann (m, 0) = ackermann (m - 1, 1)
-  | ackermann (m, n) = ackermann (m - 1, ackermann (m, n - 1))
-*}
+  | ackermann (m, n) = ackermann (m - 1, ackermann (m, n - 1)) *}
 
 text {*