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