src/HOL/ex/Subarray.thy
2009-01-08 ago split of Imperative_HOL theories from HOL-Library