src/HOL/Library/Subarray.thy
changeset 28615 4c8fa015ec7f
parent 27656 d4f6e64ee7cc