wenzelm [Wed, 25 May 2011 22:21:38 +0200] rev 44112
rearranged some sections;
wenzelm [Wed, 25 May 2011 22:12:46 +0200] rev 44111
updated and re-unified HOL typedef, with some live examples;
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 44110
new Metis version
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 44109
removed yet another hack in "make_metis" script -- respect opacity of "Metis_Name.name"
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 44108
exploit new semantics of "max_new_instances"
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 44107
minor optimization
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 44106
don't needlessly extensionalize
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 44105
don't needlessly presimplify -- makes ATP problem preparation much faster
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 44104
tuned
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 44103
removed experimental code submitted by mistake