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.
add line breaks to Rep_CFun syntax
authorhuffman
Sat, 05 Nov 2005 21:42:24 +0100
changeset 18091 820cfb3da6d3
parent 18090 9d5cfd71f510
child 18092 2c5d5da79a1e
add line breaks to Rep_CFun syntax
src/HOLCF/Cfun.thy file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/Cfun.thy	Fri Nov 04 23:15:45 2005 +0100
+++ b/src/HOLCF/Cfun.thy	Sat Nov 05 21:42:24 2005 +0100
@@ -29,13 +29,13 @@
   "->"     :: "[type, type] => type"      ("(_ \<rightarrow>/ _)" [1,0]0)
 
 syntax
-  Rep_CFun :: "('a \<rightarrow> 'b) \<Rightarrow> ('a \<Rightarrow> 'b)" ("_$_" [999,1000] 999)
+  Rep_CFun :: "('a \<rightarrow> 'b) \<Rightarrow> ('a \<Rightarrow> 'b)" ("(_$/_)" [999,1000] 999)
 
 syntax (xsymbols)
-  Rep_CFun :: "('a \<rightarrow> 'b) \<Rightarrow> ('a \<Rightarrow> 'b)" ("(_\<cdot>_)" [999,1000] 999)
+  Rep_CFun :: "('a \<rightarrow> 'b) \<Rightarrow> ('a \<Rightarrow> 'b)" ("(_\<cdot>/_)" [999,1000] 999)
 
 syntax (HTML output)
-  Rep_CFun :: "('a \<rightarrow> 'b) \<Rightarrow> ('a \<Rightarrow> 'b)" ("(_\<cdot>_)" [999,1000] 999)
+  Rep_CFun :: "('a \<rightarrow> 'b) \<Rightarrow> ('a \<Rightarrow> 'b)" ("(_\<cdot>/_)" [999,1000] 999)
 
 subsection {* Syntax for continuous lambda abstraction *}
isabelle