# HG changeset patch
# User haftmann
# Date 1281520360 -7200
# Node ID 5888841c38da0f3c32fe515f123e00fbd5c5070e
# Parent  7edf0ab9d5cb0aba912e6f3993131c6c7055ff94
avoid inclusion of Natural module in generated code

diff -r 7edf0ab9d5cb -r 5888841c38da doc-src/Classes/Thy/Classes.thy
--- a/doc-src/Classes/Thy/Classes.thy	Wed Aug 11 09:06:31 2010 +0200
+++ b/doc-src/Classes/Thy/Classes.thy	Wed Aug 11 11:52:40 2010 +0200
@@ -611,13 +611,12 @@
 text {*
   \noindent This maps to Haskell as follows:
 *}
-
+(*<*)code_include %invisible Haskell "Natural" -(*>*)
 text %quote {*@{code_stmts example (Haskell)}*}
 
 text {*
   \noindent The code in SML has explicit dictionary passing:
 *}
-
 text %quote {*@{code_stmts example (SML)}*}
 
 subsection {* Inspecting the type class universe *}
diff -r 7edf0ab9d5cb -r 5888841c38da doc-src/Classes/Thy/document/Classes.tex
--- a/doc-src/Classes/Thy/document/Classes.tex	Wed Aug 11 09:06:31 2010 +0200
+++ b/doc-src/Classes/Thy/document/Classes.tex	Wed Aug 11 11:52:40 2010 +0200
@@ -1132,6 +1132,19 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
+\isadeliminvisible
+%
+\endisadeliminvisible
+%
+\isataginvisible
+%
+\endisataginvisible
+{\isafoldinvisible}%
+%
+\isadeliminvisible
+%
+\endisadeliminvisible
+%
 \isadelimquote
 %
 \endisadelimquote