Re: [ProofPower] Z parser/pretty printer issue with precedence of lambda and mu

2011-07-17 Thread Phil Clayton
On 16/07/11 16:02, Rob Arthan wrote: On 15 Jul 2011, at 15:29, Phil Clayton wrote: I was going to leave this issue for now but I bumped into it again today, so I've had a look into it. (It's not something that is holding me up, just forcing me to put in parentheses where I don't want to!) This

Re: [ProofPower] Z parser/pretty printer issue with precedence of lambda and mu

2011-07-16 Thread Rob Arthan
Phil, On 15 Jul 2011, at 15:29, Phil Clayton wrote: > I was going to leave this issue for now but I bumped into it again today, so > I've had a look into it. (It's not something that is holding me up, just > forcing me to put in parentheses where I don't want to!) > > This issue was originall

[ProofPower] Z parser/pretty printer issue with precedence of lambda and mu

2011-07-15 Thread Phil Clayton
I was going to leave this issue for now but I bumped into it again today, so I've had a look into it. (It's not something that is holding me up, just forcing me to put in parentheses where I don't want to!) This issue was originally noticed because the following term prints back without paren