changeset 61378 | 3e04c9ca001a |
parent 60801 | 7664e0916eec |
child 61998 | b66d2ca1f907 |
--- a/src/HOL/HOLCF/Cfun.thy Fri Oct 09 19:51:20 2015 +0200 +++ b/src/HOL/HOLCF/Cfun.thy Fri Oct 09 20:26:03 2015 +0200 @@ -27,8 +27,6 @@ notation (xsymbols) Rep_cfun ("(_\<cdot>/_)" [999,1000] 999) -notation (HTML output) - Rep_cfun ("(_\<cdot>/_)" [999,1000] 999) subsection {* Syntax for continuous lambda abstraction *}