Mon, 27 Jun 2011 14:56:37 +0200 document "meson" and "metis" in HOL specific section of the Isar ref manual
blanchet [Mon, 27 Jun 2011 14:56:37 +0200] rev 43578
document "meson" and "metis" in HOL specific section of the Isar ref manual
Mon, 27 Jun 2011 14:56:35 +0200 clarify minimizer output
blanchet [Mon, 27 Jun 2011 14:56:35 +0200] rev 43577
clarify minimizer output
Mon, 27 Jun 2011 14:56:33 +0200 don't export any metastrange or other nonatomizable formulas, since these don't help proving normal things, they are somewhat broken in the ATP output, and they are atypical
blanchet [Mon, 27 Jun 2011 14:56:33 +0200] rev 43576
don't export any metastrange or other nonatomizable formulas, since these don't help proving normal things, they are somewhat broken in the ATP output, and they are atypical
Mon, 27 Jun 2011 14:56:32 +0200 tweaked comment
blanchet [Mon, 27 Jun 2011 14:56:32 +0200] rev 43575
tweaked comment
Mon, 27 Jun 2011 14:56:31 +0200 document "sound" option
blanchet [Mon, 27 Jun 2011 14:56:31 +0200] rev 43574
document "sound" option
Mon, 27 Jun 2011 14:56:29 +0200 minor Sledgehammer news
blanchet [Mon, 27 Jun 2011 14:56:29 +0200] rev 43573
minor Sledgehammer news
Mon, 27 Jun 2011 14:56:28 +0200 added "sound" option to force Sledgehammer to be pedantically sound
blanchet [Mon, 27 Jun 2011 14:56:28 +0200] rev 43572
added "sound" option to force Sledgehammer to be pedantically sound
Mon, 27 Jun 2011 14:56:26 +0200 removed "full_types" option from documentation
blanchet [Mon, 27 Jun 2011 14:56:26 +0200] rev 43571
removed "full_types" option from documentation
Mon, 27 Jun 2011 14:56:10 +0200 document changes to Sledgehammer and "try"
blanchet [Mon, 27 Jun 2011 14:56:10 +0200] rev 43570
document changes to Sledgehammer and "try"
Mon, 27 Jun 2011 13:52:47 +0200 removed "full_types" option from Sledgehammer, now that virtually sound encodings are used as the default anyway
blanchet [Mon, 27 Jun 2011 13:52:47 +0200] rev 43569
removed "full_types" option from Sledgehammer, now that virtually sound encodings are used as the default anyway
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip