Sat, 03 Mar 2007 09:27:01 +0100 clarified error message
haftmann [Sat, 03 Mar 2007 09:27:01 +0100] rev 22400
clarified error message
Sat, 03 Mar 2007 09:27:00 +0100 moved instance option :: finite to Finite_Set.thy
haftmann [Sat, 03 Mar 2007 09:27:00 +0100] rev 22399
moved instance option :: finite to Finite_Set.thy
Sat, 03 Mar 2007 09:26:58 +0100 moved instance option :: finite here
haftmann [Sat, 03 Mar 2007 09:26:58 +0100] rev 22398
moved instance option :: finite here
Sat, 03 Mar 2007 00:16:09 +0100 Fix idvalue output and PGML print mode raw encode/decode.
aspinall [Sat, 03 Mar 2007 00:16:09 +0100] rev 22397
Fix idvalue output and PGML print mode raw encode/decode.
Fri, 02 Mar 2007 15:43:27 +0100 permitting empty datatypes
haftmann [Fri, 02 Mar 2007 15:43:27 +0100] rev 22396
permitting empty datatypes
Fri, 02 Mar 2007 15:43:26 +0100 improved handling of nat numerals
haftmann [Fri, 02 Mar 2007 15:43:26 +0100] rev 22395
improved handling of nat numerals
Fri, 02 Mar 2007 15:43:25 +0100 tuned code theorems for ord on integers
haftmann [Fri, 02 Mar 2007 15:43:25 +0100] rev 22394
tuned code theorems for ord on integers
Fri, 02 Mar 2007 15:43:24 +0100 simplified code generator setup
haftmann [Fri, 02 Mar 2007 15:43:24 +0100] rev 22393
simplified code generator setup
Fri, 02 Mar 2007 15:43:23 +0100 tuned code theorems
haftmann [Fri, 02 Mar 2007 15:43:23 +0100] rev 22392
tuned code theorems
Fri, 02 Mar 2007 15:43:22 +0100 added add_numerals_of
haftmann [Fri, 02 Mar 2007 15:43:22 +0100] rev 22391
added add_numerals_of
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip