[isabelle-dev] NEWS

2008-10-28 Thread Lawrence Paulson
* The metis method no longer fails because the theorem is too trivial (contains the empty clause). Larry

[isabelle-dev] instantiation

2008-10-28 Thread Florian Haftmann
//mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20081028/7432aca0/attachment.pgp>