src/HOL/ex/Sublist.thy
changeset 30313 b2441b0c8d38
parent 29920 b95f5b8b93dd