| changeset 33671 | 4b0f2599ed48 |
| parent 33670 | 02b7738aef6a |
| child 33724 | 5ee13e0428d2 |
--- a/src/Pure/Isar/local_theory.ML Fri Nov 13 20:41:29 2009 +0100 +++ b/src/Pure/Isar/local_theory.ML Fri Nov 13 21:11:15 2009 +0100 @@ -51,7 +51,7 @@ val exit_result_global: (morphism -> 'a -> 'b) -> 'a * local_theory -> 'b * theory end; -structure LocalTheory: LOCAL_THEORY = +structure Local_Theory: LOCAL_THEORY = struct (** local theory data **)