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
less more (0) -3 tip