isabelle: File revisions

src/HOL/Library/IArray.thy

Wed, 23 Apr 2014 10:23:27 +0200	blanchet	move size hooks together, with new one preceding old one and sharing same theory data	file \| diff \| annotate
Wed, 12 Feb 2014 08:35:57 +0100	blanchet	adapted theories to 'xxx_case' to 'case_xxx'	file \| diff \| annotate
Sat, 16 Nov 2013 18:26:57 +0100	nipkow	added functions all and exists to IArray	file \| diff \| annotate
Sun, 23 Jun 2013 21:16:07 +0200	haftmann	migration from code_(const\|type\|class\|instance) to code_printing and from code_module to code_identifier	file \| diff \| annotate
Fri, 15 Feb 2013 11:47:34 +0100	haftmann	attempt to re-establish conventions which theories are loaded into the grand unified library theory;	file \| diff \| annotate
Fri, 15 Feb 2013 08:31:31 +0100	haftmann	two target language numeral types: integer and natural, as replacement for code_numeral;	file \| diff \| annotate
Wed, 13 Feb 2013 13:38:52 +0100	haftmann	IArray ignorant of particular representation of nat	file \| diff \| annotate
Wed, 21 Nov 2012 09:07:41 +0100	nipkow	new theory of immutable arrays	file \| diff \| annotate

isabelle