src/HOL/ex/IArray_Examples.thy
Wed, 21 Nov 2012 09:07:41 +0100 nipkow new theory of immutable arrays
less more (0) tip