fixed signature
authorhaftmann
Wed Feb 18 19:18:33 2009 +0100 (2009-02-18)
changeset 2997168331b62c873
parent 29970 cbf46080ea3a
child 29972 aee7610106fd
fixed signature
src/Pure/Isar/theory_target.ML
     1.1 --- a/src/Pure/Isar/theory_target.ML	Wed Feb 18 19:18:32 2009 +0100
     1.2 +++ b/src/Pure/Isar/theory_target.ML	Wed Feb 18 19:18:33 2009 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4    val begin: string -> Proof.context -> local_theory
     1.5    val context: xstring -> theory -> local_theory
     1.6    val instantiation: string list * (string * sort) list * sort -> theory -> local_theory
     1.7 -  val instantiation_cmd: xstring list * sort * xstring -> theory -> local_theory
     1.8 +  val instantiation_cmd: xstring list * xstring list * xstring -> theory -> local_theory
     1.9    val overloading: (string * (string * typ) * bool) list -> theory -> local_theory
    1.10    val overloading_cmd: (string * string * bool) list -> theory -> local_theory
    1.11  end;