--- a/doc-src/TutorialI/Sets/Functions.thy Sat May 08 16:53:53 2010 +0200
+++ b/doc-src/TutorialI/Sets/Functions.thy Sat May 08 19:14:13 2010 +0200
@@ -1,7 +1,7 @@
(* ID: $Id$ *)
theory Functions imports Main begin
-ML "Pretty.setmargin 64"
+ML "Pretty.margin_default := 64"
text{*