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 *}