src/HOL/Library/IArray.thy
Fri, 15 Feb 2013 11:47:34 +0100 haftmann attempt to re-establish conventions which theories are loaded into the grand unified library theory;
Fri, 15 Feb 2013 08:31:31 +0100 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
Wed, 13 Feb 2013 13:38:52 +0100 haftmann IArray ignorant of particular representation of nat
Wed, 21 Nov 2012 09:07:41 +0100 nipkow new theory of immutable arrays
less more (0) tip