src/Pure/Isar/obtain.ML
changeset 28084 a05ca48ef263
parent 28080 4723eb2456ce
child 28965 1de908189869
     1.1 --- a/src/Pure/Isar/obtain.ML	Tue Sep 02 14:10:45 2008 +0200
     1.2 +++ b/src/Pure/Isar/obtain.ML	Tue Sep 02 16:55:33 2008 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  sig
     1.5    val thatN: string
     1.6    val obtain: string -> (Name.binding * string option * mixfix) list ->
     1.7 -    ((Name.binding * Attrib.src list) * (string * string list) list) list ->
     1.8 +    (Attrib.binding * (string * string list) list) list ->
     1.9      bool -> Proof.state -> Proof.state
    1.10    val obtain_i: string -> (Name.binding * typ option * mixfix) list ->
    1.11      ((Name.binding * attribute list) * (term * term list) list) list ->