isabelle: Changelog

wenzelm [Fri, 12 Jul 2013 22:49:20 +0200] rev 52638

removed unused Predicate_Compile component setup;

haftmann [Sat, 13 Jul 2013 17:53:58 +0200] rev 52637

attribute "code" declares concrete and abstract code equations uniformly; added explicit "code equation" instead

haftmann [Sat, 13 Jul 2013 17:53:57 +0200] rev 52636

tuned variable names

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

isabelle