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.
plain ASCII;
authorwenzelm
Fri, 24 Mar 2000 21:09:34 +0100
changeset 8572 794843a9d8b1
parent 8571 c323613e4a47
child 8573 fc22f59f5ae7
plain ASCII;
src/HOL/ex/Multiquote.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Multiquote.thy	Fri Mar 24 20:59:15 2000 +0100
+++ b/src/HOL/ex/Multiquote.thy	Fri Mar 24 21:09:34 2000 +0100
@@ -9,8 +9,8 @@
 theory Multiquote = Main:;
 
 syntax
-  "_quote" :: "'b \\<Rightarrow> ('a \\<Rightarrow> 'b)"	     ("{._.}" [0] 1000)
-  "_antiquote" :: "('a \\<Rightarrow> 'b) \\<Rightarrow> 'b"        ("`_" [1000] 999);
+  "_quote" :: "'b => ('a => 'b)"	     ("{._.}" [0] 1000)
+  "_antiquote" :: "('a => 'b) => 'b"         ("`_" [1000] 999);
 
 parse_translation {*
   let
isabelle