1.1 --- a/doc-src/more_antiquote.ML Thu Oct 02 14:22:45 2008 +0200
1.2 +++ b/doc-src/more_antiquote.ML Thu Oct 02 17:18:22 2008 +0200
1.3 @@ -29,8 +29,8 @@
1.4
1.5 local
1.6
1.7 -fun pr_class ctxt = enclose "\\isa{" "}" o Sign.extern_class (ProofContext.theory_of ctxt)
1.8 - o Sign.read_class (ProofContext.theory_of ctxt);
1.9 +fun pr_class ctxt = enclose "\\isa{" "}" o Pretty.output o Pretty.str
1.10 + o Sign.extern_class (ProofContext.theory_of ctxt) o Sign.read_class (ProofContext.theory_of ctxt);
1.11
1.12 in
1.13