src/HOL/ex/IArray_Examples.thy
2013-02-13 haftmann 2013-02-13 IArray ignorant of particular representation of nat
2012-11-21 nipkow 2012-11-21 new theory of immutable arrays