changeset 48611 | b34ff75c23a7 |
parent 47183 | f760e15343bc |
--- a/doc-src/TutorialI/Types/Numbers.thy Mon Jul 30 17:07:23 2012 +0200 +++ b/doc-src/TutorialI/Types/Numbers.thy Mon Jul 30 17:25:45 2012 +0200 @@ -2,9 +2,6 @@ imports Complex_Main begin -ML "Pretty.margin_default := 64" -declare [[thy_output_indent = 0]] (*we don't want 5 for listing theorems*) - text{* numeric literals; default simprules; can re-orient