haftmann [Thu, 29 Jul 2010 09:56:59 +0200] rev 38303
proper unit type in transformed program
haftmann [Thu, 29 Jul 2010 08:16:49 +0200] rev 38302
merged
haftmann [Wed, 28 Jul 2010 14:11:48 +0200] rev 38301
merged
haftmann [Wed, 28 Jul 2010 12:12:32 +0200] rev 38300
tuned; added pretty numerals for code generation
haftmann [Wed, 28 Jul 2010 12:12:29 +0200] rev 38299
may use `int` in Isabelle runtime environment
haftmann [Wed, 28 Jul 2010 14:09:56 +0200] rev 38298
dropped dead code
blanchet [Wed, 28 Jul 2010 22:18:35 +0200] rev 38297
merged
blanchet [Wed, 28 Jul 2010 19:42:11 +0200] rev 38296
make Mirabelle happy
blanchet [Wed, 28 Jul 2010 19:23:56 +0200] rev 38295
renamed environment variable
blanchet [Wed, 28 Jul 2010 19:07:34 +0200] rev 38294
updated component name