1.1 --- a/src/Pure/sign.ML	Thu Nov 08 20:08:01 2007 +0100
     1.2 +++ b/src/Pure/sign.ML	Thu Nov 08 20:08:02 2007 +0100
     1.3 @@ -142,10 +142,6 @@
     1.4    val read_typ: theory -> string -> typ
     1.5    val read_typ_syntax: theory -> string -> typ
     1.6    val read_typ_abbrev: theory -> string -> typ
     1.7 -  val read_def_terms': Pretty.pp -> (string -> bool) -> Syntax.syntax -> Consts.T ->
     1.8 -    (string -> string option) -> Proof.context ->
     1.9 -    (indexname -> typ option) * (indexname -> sort option) ->
    1.10 -    Name.context -> bool -> (string * typ) list -> term list * (indexname * typ) list
    1.11    val read_def_terms:
    1.12      theory * (indexname -> typ option) * (indexname -> sort option) ->
    1.13      string list -> bool -> (string * typ) list -> term list * (indexname * typ) list