src/HOL/Imperative_HOL/Array.thy
Fri, 06 Feb 2009 15:15:27 +0100 haftmann authentic syntax for List.nth
Fri, 06 Feb 2009 09:05:19 +0100 haftmann mandatory prefix for index conversion operations
Tue, 03 Feb 2009 19:37:00 +0100 haftmann changed name space policy for Haskell includes
less more (0) tip