isabelle: Changelog

haftmann [Thu, 16 Sep 2010 16:51:34 +0200] rev 39475

separation of static and dynamic thy context

haftmann [Thu, 16 Sep 2010 16:51:34 +0200] rev 39474

adjusted setup

haftmann [Thu, 16 Sep 2010 16:51:34 +0200] rev 39473

dynamic and static value computation; built-in evaluation of propositions

haftmann [Thu, 16 Sep 2010 16:51:33 +0200] rev 39472

Exn.map_result

haftmann [Thu, 16 Sep 2010 16:51:33 +0200] rev 39471

adjusted to changes in Code_Runtime

bulwahn [Thu, 16 Sep 2010 17:42:49 +0200] rev 39470

merged

bulwahn [Thu, 16 Sep 2010 16:20:20 +0200] rev 39469

merged

bulwahn [Thu, 16 Sep 2010 13:49:17 +0200] rev 39468

improving replacing higher order arguments to work with tuples

bulwahn [Thu, 16 Sep 2010 13:49:14 +0200] rev 39467

adding another context free grammar example for the predicate compiler

bulwahn [Thu, 16 Sep 2010 13:49:12 +0200] rev 39466

adding values to show and ensure that values works with complex terms and restores numerals on natural numbers

isabelle