isabelle: Changelog

blanchet [Tue, 19 Aug 2014 09:39:11 +0200] rev 57996

reduced dependency on 'Datatype' theory and ML module

blanchet [Tue, 19 Aug 2014 09:36:57 +0200] rev 57995

removed Z3 3.2, now superseded by Z3 4.3

blanchet [Tue, 19 Aug 2014 09:36:37 +0200] rev 57994

avoid old 'smt' method in examples

blanchet [Tue, 19 Aug 2014 09:34:57 +0200] rev 57993

robustified tactics

blanchet [Tue, 19 Aug 2014 09:34:41 +0200] rev 57992

tuning

blanchet [Tue, 19 Aug 2014 09:34:30 +0200] rev 57991

don't note low-level (co)datatype theorems, unless 'bnf_note_all' is set

blanchet [Tue, 19 Aug 2014 09:34:27 +0200] rev 57990

documented slight incompatibility in NEWS

blanchet [Mon, 18 Aug 2014 19:18:08 +0200] rev 57989

removed junk

blanchet [Mon, 18 Aug 2014 19:16:51 +0200] rev 57988

updated docs

blanchet [Mon, 18 Aug 2014 19:16:30 +0200] rev 57987

set attributes on 'set_cases' theorem

isabelle