--- a/src/Doc/Classes/Classes.thy Fri Feb 15 08:31:30 2013 +0100
+++ b/src/Doc/Classes/Classes.thy Fri Feb 15 08:31:31 2013 +0100
@@ -600,7 +600,6 @@
text {*
\noindent This maps to Haskell as follows:
*}
-(*<*)code_include %invisible Haskell "Natural" -(*>*)
text %quotetypewriter {*
@{code_stmts example (Haskell)}
*}
@@ -616,7 +615,6 @@
text {*
\noindent In Scala, implicts are used as dictionaries:
*}
-(*<*)code_include %invisible Scala "Natural" -(*>*)
text %quotetypewriter {*
@{code_stmts example (Scala)}
*}
@@ -640,3 +638,4 @@
*}
end
+