remove syntax for as-patterns
authorhuffman
Mon Nov 07 19:23:53 2005 +0100 (2005-11-07)
changeset 1811008ec4f1f116d
parent 18109 94b528311e22
child 18111 2b56f74fd605
remove syntax for as-patterns
src/HOLCF/Fixrec.thy
     1.1 --- a/src/HOLCF/Fixrec.thy	Mon Nov 07 19:03:02 2005 +0100
     1.2 +++ b/src/HOLCF/Fixrec.thy	Mon Nov 07 19:23:53 2005 +0100
     1.3 @@ -171,7 +171,7 @@
     1.4    "_Case1"      :: "['a, 'b] => Case_syn"                ("(2_ =>/ _)" 10)
     1.5    ""            :: "Case_syn => Cases_syn"               ("_")
     1.6    "_Case2"      :: "[Case_syn, Cases_syn] => Cases_syn"  ("_/ | _")
     1.7 -  "_as_pattern" :: "[idt, 'a] \<Rightarrow> 'a"                     (infixr "as" 10)
     1.8 +  "_as_pattern" :: "[idt, 'a] \<Rightarrow> 'a"                     (* infixr "as" 10 *)
     1.9  
    1.10  syntax (xsymbols)
    1.11    "_Case1"      :: "['a, 'b] => Case_syn"                ("(2_ \<Rightarrow>/ _)" 10)