Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed 'open Syntax Type';
authorwenzelm
Thu, 14 Nov 1996 14:38:51 +0100
changeset 2187 07c471510cf1
parent 2186 35ade4941904
child 2188 6c217c071b97
removed 'open Syntax Type';
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;
isabelle