changeset 33553 | 35f2b30593a8 |
parent 33537 | 06c87d2c5b5a |
child 33670 | 02b7738aef6a |
--- a/src/Pure/Isar/theory_target.ML Tue Nov 10 15:33:35 2009 +0100 +++ b/src/Pure/Isar/theory_target.ML Tue Nov 10 16:04:57 2009 +0100 @@ -19,7 +19,7 @@ val overloading_cmd: (string * string * bool) list -> theory -> local_theory end; -structure TheoryTarget: THEORY_TARGET = +structure Theory_Target: THEORY_TARGET = struct (* context data *)