src/Pure/sign.ML

--- a/src/Pure/sign.ML	Sat Mar 11 17:30:35 2006 +0100
+++ b/src/Pure/sign.ML	Sat Mar 11 21:23:10 2006 +0100
@@ -82,7 +82,6 @@
 
 signature SIGN =
 sig
-  type sg    (*obsolete*)
   val init_data: theory -> theory
   val rep_sg: theory ->
    {naming: NameSpace.naming,
@@ -200,8 +199,6 @@
 structure Sign: SIGN =
 struct
 
-type sg = theory;
-
 
 (** datatype sign **)