Re: [isabelle] metis behaviour

It would be easy to make this limit a parameter that the user could set. To the best of my knowledge, this is an issue only with artificial problems.

On 7 Apr 2008, at 11:39, Tom Ridge wrote:
But this is a very simple goal. Is there a way to stop Isabelle discarding assumptions that generate lots of clauses?

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.