author | wenzelm |
Thu, 14 Nov 1996 14:38:51 +0100 | |
changeset 2187 | 07c471510cf1 |
parent 2186 | 35ade4941904 |
child 2188 | 6c217c071b97 |
src/Pure/sign.ML | file | annotate | diff | comparison | revisions |
--- 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;