Thu, 12 Jun 2014 18:47:16 +0200 added [simp]
nipkow [Thu, 12 Jun 2014 18:47:16 +0200] rev 57247
added [simp]
Thu, 12 Jun 2014 17:50:49 +0200 tuning
blanchet [Thu, 12 Jun 2014 17:50:49 +0200] rev 57246
tuning
Thu, 12 Jun 2014 17:10:12 +0200 renamed Sledgehammer options
blanchet [Thu, 12 Jun 2014 17:10:12 +0200] rev 57245
renamed Sledgehammer options
Thu, 12 Jun 2014 17:02:03 +0200 removed dead code
blanchet [Thu, 12 Jun 2014 17:02:03 +0200] rev 57244
removed dead code
Thu, 12 Jun 2014 17:02:03 +0200 reintroduced vital 'Thm.transfer'
blanchet [Thu, 12 Jun 2014 17:02:03 +0200] rev 57243
reintroduced vital 'Thm.transfer'
Thu, 12 Jun 2014 17:02:03 +0200 tuned dependencies
blanchet [Thu, 12 Jun 2014 17:02:03 +0200] rev 57242
tuned dependencies
Thu, 12 Jun 2014 17:02:03 +0200 updated docs
blanchet [Thu, 12 Jun 2014 17:02:03 +0200] rev 57241
updated docs
Thu, 12 Jun 2014 17:02:03 +0200 added support for CVC4 in SMT2
blanchet [Thu, 12 Jun 2014 17:02:03 +0200] rev 57240
added support for CVC4 in SMT2
Thu, 12 Jun 2014 17:02:03 +0200 don't ask proof-disabled solvers to do proofs
blanchet [Thu, 12 Jun 2014 17:02:03 +0200] rev 57239
don't ask proof-disabled solvers to do proofs
Thu, 12 Jun 2014 17:02:03 +0200 tuning
blanchet [Thu, 12 Jun 2014 17:02:03 +0200] rev 57238
tuning
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip