isabelle: Changelog

haftmann [Sat, 03 Mar 2007 09:26:58 +0100] rev 22398

moved instance option :: finite here

aspinall [Sat, 03 Mar 2007 00:16:09 +0100] rev 22397

Fix idvalue output and PGML print mode raw encode/decode.

haftmann [Fri, 02 Mar 2007 15:43:27 +0100] rev 22396

permitting empty datatypes

haftmann [Fri, 02 Mar 2007 15:43:26 +0100] rev 22395

improved handling of nat numerals

haftmann [Fri, 02 Mar 2007 15:43:25 +0100] rev 22394

tuned code theorems for ord on integers

haftmann [Fri, 02 Mar 2007 15:43:24 +0100] rev 22393

simplified code generator setup

haftmann [Fri, 02 Mar 2007 15:43:23 +0100] rev 22392

tuned code theorems

haftmann [Fri, 02 Mar 2007 15:43:22 +0100] rev 22391

added add_numerals_of

haftmann [Fri, 02 Mar 2007 15:43:21 +0100] rev 22390

now using "class"

haftmann [Fri, 02 Mar 2007 15:43:20 +0100] rev 22389

using "fst" "snd" for Haskell code

isabelle