src/HOL/Imperative_HOL/ex/Subarray.thy
2010-07-13 ago canonical argument order for get
2010-07-13 ago canonical argument order for length
2010-07-13 ago hide_const; update replaces change
2010-07-05 ago moved "open" operations from Heap.thy to Array.thy and Ref.thy
2010-04-08 ago added imperative SAT checker; improved headers of example files; adopted IsaMakefile
2009-03-23 ago moved Imperative_HOL examples to Imperative_HOL/ex