src/HOL/Library/More_List.thy
2010-05-20 ago proper document text
2010-05-20 ago added More_List.thy explicitly