removed 'open Syntax Type';
authorwenzelm
Thu Nov 14 14:38:51 1996 +0100 (1996-11-14)
changeset 218707c471510cf1
parent 2186 35ade4941904
child 2188 6c217c071b97
removed 'open Syntax Type';
src/Pure/sign.ML
     1.1 --- a/src/Pure/sign.ML	Thu Nov 14 14:32:01 1996 +0100
     1.2 +++ b/src/Pure/sign.ML	Thu Nov 14 14:38:51 1996 +0100
     1.3 @@ -70,8 +70,6 @@
     1.4  structure Sign : SIGN =
     1.5  struct
     1.6  
     1.7 -(*local open Type Syntax in*)
     1.8 -
     1.9  (** datatype sg **)
    1.10  
    1.11  (*the "ref" in stamps ensures that no two signatures are identical -- it is
    1.12 @@ -623,5 +621,4 @@
    1.13    |> add_syntax Syntax.pure_applC_syntax
    1.14    |> add_name "CPure";
    1.15  
    1.16 -(*end*)
    1.17  end;