isabelle: Changelog

traytel [Sat, 13 Jul 2013 13:03:21 +0200] rev 52635

got rid of in_bd BNF property (derivable from set_bd+map_cong+map_comp+map_id)

traytel [Thu, 11 Jul 2013 11:16:23 +0200] rev 52634

some new lemmas towards getting rid of in_bd BNF property; tuned

smolkas [Sat, 13 Jul 2013 12:38:40 +0200] rev 52633

tuned

smolkas [Fri, 12 Jul 2013 22:41:25 +0200] rev 52632

added sledgehammer parameters isar_try0 and isar_minimize and their negative aliases

wenzelm [Fri, 12 Jul 2013 21:14:54 +0200] rev 52631

merged

wenzelm [Fri, 12 Jul 2013 21:13:57 +0200] rev 52630

more robust proof export / import due to Stefan Berghofer; eliminated musing in the manual that is not quite right;

smolkas [Fri, 12 Jul 2013 21:07:34 +0200] rev 52629

added blast, force

smolkas [Fri, 12 Jul 2013 20:28:34 +0200] rev 52628

removed |>! and #>!

smolkas [Fri, 12 Jul 2013 19:54:36 +0200] rev 52627

tuned * * * easier debugging * * * tuned

smolkas [Fri, 12 Jul 2013 19:03:08 +0200] rev 52626

cleaner preplay interface

isabelle