isabelle: Changelog

bulwahn [Wed, 23 Sep 2009 16:20:12 +0200] rev 32662

handling of definitions

bulwahn [Wed, 23 Sep 2009 16:20:12 +0200] rev 32661

experimenting to add some useful interface for definitions

bulwahn [Wed, 23 Sep 2009 16:20:12 +0200] rev 32660

added predicate compile preprocessing structure for definitional thms -- probably is replaced by hooking the theorem command differently

bulwahn [Wed, 23 Sep 2009 16:20:12 +0200] rev 32659

modified handling of side conditions in proof procedure of predicate compiler

haftmann [Wed, 23 Sep 2009 15:25:25 +0200] rev 32658

merged

haftmann [Wed, 23 Sep 2009 14:00:12 +0200] rev 32657

Code_Eval(uation)

blanchet [Wed, 23 Sep 2009 13:48:16 +0200] rev 32656

merged

blanchet [Wed, 23 Sep 2009 13:47:08 +0200] rev 32655

Added "nitpick_const_simp" tags to lazy list theories. (Will be useful once Nitpick is integrated in Isabelle.)

krauss [Wed, 23 Sep 2009 13:48:35 +0200] rev 32654

atbroy101 is long dead, use atbroy99; comment out broken SML test invocation

haftmann [Wed, 23 Sep 2009 13:42:53 +0200] rev 32653

merged

isabelle