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