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