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;