src/HOL/Library/List_Prefix.thy
2000-10-25 wenzelm 2000-10-25 "List prefixes" library theory (replaces old Lex/Prefix);