2011-06-08 blanchet removed yet another hack in "make_metis" script -- respect opacity of "Metis_Name.name"
2011-06-08 blanchet exploit new semantics of "max_new_instances"
2011-06-08 blanchet minor optimization
2011-06-08 blanchet don't needlessly extensionalize
2011-06-08 blanchet don't needlessly presimplify -- makes ATP problem preparation much faster
2011-06-08 blanchet tuned
2011-06-08 blanchet removed experimental code submitted by mistake
2011-06-08 blanchet make sure that the message tail (timing + TPTP important message) is preserved upon automatic minimization
2011-06-08 blanchet removed removed option from documentation
2011-06-08 blanchet killed "explicit_apply" option in Sledgehammer -- the "smart" default is about as lightweight as "false" and just as complete as "true"
2011-06-08 blanchet slightly faster/cleaner accumulation of polymorphic consts
2011-06-07 krauss eliminated unnecessary tail-recursion and funny use of records as 'named arguments' for functions
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip