src/HOL/Library/List_Prefix.thy
2001-01-11 wenzelm 2001-01-11 added strict_prefixI', strict_prefixE';
2000-11-22 wenzelm 2000-11-22 tuned;
2000-11-06 wenzelm 2000-11-06 improved: 'induct' handle non-atomic goals;
2000-11-03 wenzelm 2000-11-03 proper setup of "parallel"; removed unused rules;
2000-10-25 wenzelm 2000-10-25 "List prefixes" library theory (replaces old Lex/Prefix);