removed unused read_def_terms';
authorwenzelm
Thu Nov 08 20:08:02 2007 +0100 (2007-11-08)
changeset 25351bf84dff3280d
parent 25350 a5fcf6d12a53
child 25352 24d1568af397
removed unused read_def_terms';
src/Pure/sign.ML
     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