src/HOL/Imperative_HOL/ex/Subarray.thy
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2010-07-13 haftmann 2010-07-13 qualified names for (really) all array operations
2010-07-13 haftmann 2010-07-13 canonical argument order for get
2010-07-13 haftmann 2010-07-13 canonical argument order for length
2010-07-13 haftmann 2010-07-13 hide_const; update replaces change
2010-07-05 haftmann 2010-07-05 moved "open" operations from Heap.thy to Array.thy and Ref.thy
2010-04-08 bulwahn 2010-04-08 added imperative SAT checker; improved headers of example files; adopted IsaMakefile
2009-03-23 haftmann 2009-03-23 moved Imperative_HOL examples to Imperative_HOL/ex