changeset 16536 | c5744af6b28a |
parent 16494 | 6961e8ab33e1 |
child 16597 | 5a5229a55964 |
--- a/src/Pure/sign.ML Wed Jun 22 19:41:20 2005 +0200 +++ b/src/Pure/sign.ML Wed Jun 22 19:41:22 2005 +0200 @@ -72,7 +72,7 @@ sig type syn type sg (*obsolete*) - val init: theory -> theory + val init_data: theory -> theory val rep_sg: theory -> {naming: NameSpace.naming, syn: syn, @@ -238,7 +238,7 @@ fun print _ _ = (); end); -val init = SignData.init; +val init_data = SignData.init; fun rep_sg thy = SignData.get thy |> (fn Sign args => args);