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