src/Pure/sign.ML
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);