Removed needless parentheses from translation
authorpaulson
Fri Apr 18 11:48:16 1997 +0200 (1997-04-18)
changeset 2983f914a1663b2a
parent 2982 85c81d524655
child 2984 b1a5455f0332
Removed needless parentheses from translation
src/HOL/Sum.thy
     1.1 --- a/src/HOL/Sum.thy	Fri Apr 18 11:47:36 1997 +0200
     1.2 +++ b/src/HOL/Sum.thy	Fri Apr 18 11:48:16 1997 +0200
     1.3 @@ -34,7 +34,7 @@
     1.4    Part          :: ['a set, 'b => 'a] => 'a set
     1.5  
     1.6  translations
     1.7 -  "case p of Inl(x) => a | Inr(y) => b" == "sum_case (%x.a) (%y.b) p"
     1.8 +  "case p of Inl x => a | Inr y => b" == "sum_case (%x.a) (%y.b) p"
     1.9  
    1.10  defs
    1.11    Inl_def       "Inl == (%a. Abs_Sum(Inl_Rep(a)))"