isabelle: Changelog

wenzelm [Wed, 08 Jun 2011 10:24:07 +0200] rev 43270

merged

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43269

new Metis version

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43268

removed yet another hack in "make_metis" script -- respect opacity of "Metis_Name.name"

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43267

exploit new semantics of "max_new_instances"

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43266

minor optimization

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43265

don't needlessly extensionalize

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43264

don't needlessly presimplify -- makes ATP problem preparation much faster

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43263

tuned

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43262

removed experimental code submitted by mistake

blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43261

make sure that the message tail (timing + TPTP important message) is preserved upon automatic minimization

isabelle