src/HOL/ex/Sublist.thy
2009-02-15 ago more finiteness
2009-01-08 ago split of Imperative_HOL theories from HOL-Library