isabelle: Changelog

haftmann [Tue, 16 Sep 2008 16:13:31 +0200] rev 28247

added quickcheck stub

haftmann [Tue, 16 Sep 2008 16:13:14 +0200] rev 28246

removed babel again

haftmann [Tue, 16 Sep 2008 16:13:11 +0200] rev 28245

celver code lemma avoid type ambiguity problem with Haskell

haftmann [Tue, 16 Sep 2008 16:13:09 +0200] rev 28244

a sophisticated char/nibble conversion combinator

haftmann [Tue, 16 Sep 2008 16:13:06 +0200] rev 28243

moved term_of syntax to separate theory

wenzelm [Tue, 16 Sep 2008 15:37:33 +0200] rev 28242

SimpleThread.fork;

wenzelm [Tue, 16 Sep 2008 15:37:32 +0200] rev 28241

Simplified thread fork interface.

wenzelm [Tue, 16 Sep 2008 15:37:30 +0200] rev 28240

added Concurrent/simple_thread.ML;

wenzelm [Tue, 16 Sep 2008 14:48:51 +0200] rev 28239

updated generated file;

wenzelm [Tue, 16 Sep 2008 14:40:30 +0200] rev 28238

misc tuning and modernization;

isabelle