src/Pure/sign.ML

--- a/src/Pure/sign.ML	Thu Nov 14 14:32:01 1996 +0100
+++ b/src/Pure/sign.ML	Thu Nov 14 14:38:51 1996 +0100
@@ -70,8 +70,6 @@
 structure Sign : SIGN =
 struct
 
-(*local open Type Syntax in*)
-
 (** datatype sg **)
 
 (*the "ref" in stamps ensures that no two signatures are identical -- it is
@@ -623,5 +621,4 @@
   |> add_syntax Syntax.pure_applC_syntax
   |> add_name "CPure";
 
-(*end*)
 end;