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.
Larry Paulson


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 MHonArc.