[isabelle-dev] NEWS

Lawrence Paulson lp15 at cam.ac.uk
Mon Apr 7 15:35:34 CEST 2008

* Metis: the maximum number of clauses that can be produced from a  
theorem is now given by the attribute max_clauses. Theorems that  
exceed this number are ignored, with a warning printed.


More information about the isabelle-dev mailing list