# HG changeset patch
# User wenzelm
# Date 1300025797 -3600
# Node ID 12f24ad566ea20e2c1ffee67049f31c9d8d08205
# Parent  8d4881d895f80257438a173ad27300568ad7c57f
fixed document;

diff -r 8d4881d895f8 -r 12f24ad566ea src/HOL/Library/Quickcheck_Narrowing.thy
--- a/src/HOL/Library/Quickcheck_Narrowing.thy	Sun Mar 13 15:13:53 2011 +0100
+++ b/src/HOL/Library/Quickcheck_Narrowing.thy	Sun Mar 13 15:16:37 2011 +0100
@@ -19,7 +19,7 @@
 
 code_reserved Haskell Typerep
 
-subsubsection {* Type code_int for Haskell's Int type *}
+subsubsection {* Type @{text code_int} for Haskell's Int type *}
 
 typedef (open) code_int = "UNIV \<Colon> int set"
   morphisms int_of of_int by rule
@@ -325,9 +325,9 @@
 
 end
 
-subsubsection {* class is_testable *}
+subsubsection {* class @{text is_testable} *}
 
-text {* The class is_testable ensures that all necessary type instances are generated. *}
+text {* The class @{text is_testable} ensures that all necessary type instances are generated. *}
 
 class is_testable