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;