1.1 --- a/src/Pure/Thy/thy_output.ML	Mon Oct 20 23:53:17 2008 +0200
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Tue Oct 21 15:01:16 2008 +0200
     1.3 @@ -25,6 +25,10 @@
     1.4    val eval_antiquote: Scan.lexicon -> Toplevel.node option -> SymbolPos.text * Position.T -> string
     1.5    val present_thy: Scan.lexicon -> (string -> string list) -> (markup -> string -> bool) ->
     1.6      (Toplevel.transition * Toplevel.state) list -> (OuterLex.token, 'a) Source.source -> Buffer.T
     1.7 +  val str_of_source: Args.src -> string
     1.8 +  val pretty_text: string -> Pretty.T
     1.9 +  val pretty_term: Proof.context -> term -> Pretty.T
    1.10 +  val pretty_thm: Proof.context -> thm -> Pretty.T
    1.11    val output_list: (Proof.context -> 'a -> Pretty.T) -> Args.src ->
    1.12      Proof.context -> 'a list -> string
    1.13    val output: (Proof.context -> 'a -> Pretty.T) -> Args.src -> Proof.context -> 'a -> string