# HG changeset patch
# User huffman
# Date 1131223344 -3600
# Node ID 820cfb3da6d3847ad5aaa138290d365d42991922
# Parent  9d5cfd71f5100d34fd9dd00f872e75b55876dd3e
add line breaks to Rep_CFun syntax

diff -r 9d5cfd71f510 -r 820cfb3da6d3 src/HOLCF/Cfun.thy
--- 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 *}