isabelle: Changelog

blanchet [Tue, 08 Oct 2013 20:56:35 +0200] rev 54080

more gracefully handle huge theories in relevance filters

blanchet [Tue, 08 Oct 2013 20:53:37 +0200] rev 54079

handle huge MaSh requests gracefully

blanchet [Tue, 08 Oct 2013 16:40:03 +0200] rev 54078

further optimization in relevance filter

blanchet [Tue, 08 Oct 2013 14:53:33 +0200] rev 54077

further speed up duplicate elimination

blanchet [Tue, 08 Oct 2013 14:41:25 +0200] rev 54076

more efficient theorem variable normalization

blanchet [Mon, 07 Oct 2013 23:44:53 +0200] rev 54075

strengthened constructor-view tactic to deal with 'let's

blanchet [Mon, 07 Oct 2013 23:38:57 +0200] rev 54074

allow 'let's around constructors in constructor view

blanchet [Mon, 07 Oct 2013 20:54:55 +0200] rev 54073

reword abstract

blanchet [Mon, 07 Oct 2013 20:34:16 +0200] rev 54072

more primcorec docs

blanchet [Mon, 07 Oct 2013 20:34:14 +0200] rev 54071

minor doc fix

isabelle