isabelle: Changelog

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48296

gracefully handle the case of empty theories when going up the accessibility chain

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48295

tuning

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48294

doc updates

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48293

renamed Sledgehammer options

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48292

more code rationalization in relevance filter

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48291

moved override out of iter filter

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48290

fixed bug introduced when moving code around

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48289

systematize lazy names in relevance filter

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48288

rationalize relevance filter, slowing moving code from Iter to MaSh

blanchet [Wed, 18 Jul 2012 08:44:03 +0200] rev 48287

killed one file

isabelle