changeset 18563 | 1df7022eac6f |
parent 18254 | 4a081083b06e |
child 18708 | 4b3dadb4fe33 |
--- a/src/Pure/Isar/object_logic.ML Wed Jan 04 00:52:45 2006 +0100 +++ b/src/Pure/Isar/object_logic.ML Wed Jan 04 00:52:45 2006 +0100 @@ -38,7 +38,7 @@ structure ObjectLogicData = TheoryDataFun (struct - val name = "Pure/object-logic"; + val name = "Pure/object_logic"; type T = string option * (thm list * thm list); val empty = (NONE, ([], [Drule.norm_hhf_eq]));