Re: [isabelle] More use of "-" and "!" in isabelle 2009-1?
I don't know why they seem weaker to you. This code has not changed. More likely is that more theorems have been included using attributes such as [intro!], altering their behaviour for your examples.
On 8 Feb 2010, at 12:55, Rafal Kolanski wrote:
> So it's not like there's bugs to report, really, just two proof methods suddenly getting weaker, and a legacy feature I found so intuitive I forgot it was a legacy feature. I'm just curious about the "why" of it.
This archive was generated by a fusion of
Pipermail (Mailman edition) and