src/HOL/Library/Array.thy
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Sat, 06 Sep 2008 14:02:36 +0200 haftmann dropped "run" marker in monad syntax
Tue, 29 Jul 2008 14:20:22 +0200 haftmann Haskell now living in the RealWorld
Mon, 21 Jul 2008 15:26:24 +0200 haftmann fixed code generator setup
less more (0) -4 tip