changeset 36754 | 403585a89772 |
parent 35413 | d8d7d1b785af |
child 39065 | 89f273ab1d42 |
1.1 --- a/doc-src/TutorialI/Sets/Examples.thy Sat May 08 16:53:53 2010 +0200 1.2 +++ b/doc-src/TutorialI/Sets/Examples.thy Sat May 08 19:14:13 2010 +0200 1.3 @@ -2,7 +2,7 @@ 1.4 theory Examples imports Main Binomial begin 1.5 1.6 ML "Unsynchronized.reset eta_contract" 1.7 -ML "Pretty.setmargin 64" 1.8 +ML "Pretty.margin_default := 64" 1.9 1.10 text{*membership, intersection *} 1.11 text{*difference and empty set*}