changeset 42056 | 160a630b2c7e |
parent 41479 | 655f583840d0 |
child 42057 | 3eba96ff3d3e |
--- a/src/HOL/HOLCF/Cfun.thy Tue Mar 22 17:51:15 2011 +0100 +++ b/src/HOL/HOLCF/Cfun.thy Tue Mar 22 18:03:28 2011 +0100 @@ -30,6 +30,8 @@ subsection {* Syntax for continuous lambda abstraction *} +declare [[syntax_positions = false]] (* FIXME pattern translations choke on position constraints *) + syntax "_cabs" :: "[logic, logic] \<Rightarrow> logic" parse_translation {*