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.
Translation infixes <->, etc., no longer available at top-level
authorpaulson
Tue, 18 Jun 1996 16:27:04 +0200
changeset 1813 23bda45846a2
parent 1812 debfc40b7756
child 1814 89f8d4a88cca
Translation infixes <->, etc., no longer available at top-level
src/Pure/Syntax/syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/syntax.ML	Tue Jun 18 16:20:30 1996 +0200
+++ b/src/Pure/Syntax/syntax.ML	Tue Jun 18 16:27:04 1996 +0200
@@ -13,10 +13,6 @@
   include SYN_TRANS0
   include MIXFIX0
   include PRINTER0
-  datatype 'a trrule =
-    op |-> of 'a * 'a |
-    op <-| of 'a * 'a |
-    op <-> of 'a * 'a
   end;
 
 signature SYNTAX =
isabelle