isabelle: Changelog

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57469

added hidden check to Sledgehammer fact filters, to avoid picking up facts like 'Nat.nat_induct0'

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57468

whitespace tuning

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57467

robustness in the face of ill-typed "unchecked" terms (e.g. case expressions)

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57466

use context instead of theory

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57465

fine-tuned methods

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57464

tuned message

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57463

updated docs

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57462

changed default MaSh engine

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57461

removed needless code

blanchet [Tue, 01 Jul 2014 16:47:10 +0200] rev 57460

speed up MaSh a bit

isabelle