src/HOL/ex/IArray_Examples.thy
5 weeks ago haftmann 2019-03-14 slightly more complete check of code generation for immutable arrays
20 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2013-11-16 nipkow 2013-11-16 added functions all and exists to IArray
2013-02-15 haftmann 2013-02-15 two target language numeral types: integer and natural, as replacement for code_numeral; former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral; refined stack of theories implementing int and/or nat by target language numerals; reduced number of target language numeral types to exactly one
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