src/Pure/sign.ML
changeset 16536 c5744af6b28a
parent 16494 6961e8ab33e1
child 16597 5a5229a55964
     1.1 --- a/src/Pure/sign.ML	Wed Jun 22 19:41:20 2005 +0200
     1.2 +++ b/src/Pure/sign.ML	Wed Jun 22 19:41:22 2005 +0200
     1.3 @@ -72,7 +72,7 @@
     1.4  sig
     1.5    type syn
     1.6    type sg    (*obsolete*)
     1.7 -  val init: theory -> theory
     1.8 +  val init_data: theory -> theory
     1.9    val rep_sg: theory ->
    1.10     {naming: NameSpace.naming,
    1.11      syn: syn,
    1.12 @@ -238,7 +238,7 @@
    1.13    fun print _ _ = ();
    1.14  end);
    1.15  
    1.16 -val init = SignData.init;
    1.17 +val init_data = SignData.init;
    1.18  
    1.19  fun rep_sg thy = SignData.get thy |> (fn Sign args => args);
    1.20