--- a/doc-src/TutorialI/Sets/Recur.thy Mon Jul 30 17:07:23 2012 +0200
+++ b/doc-src/TutorialI/Sets/Recur.thy Mon Jul 30 17:25:45 2012 +0200
@@ -1,7 +1,5 @@
theory Recur imports Main begin
-ML "Pretty.margin_default := 64"
-
text{*
@{thm[display] mono_def[no_vars]}