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