src/HOL/Library/List_Prefix.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-06 wenzelm 2004-05-06 tuned document;
2004-04-12 oheimb 2004-04-12 removed o2l and fold_rel; moved postfix to Library/List_Prefix.thy
2003-12-18 nipkow 2003-12-18 *** empty log message ***
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2001-10-30 wenzelm 2001-10-30 tuned induct proofs;
2001-10-15 wenzelm 2001-10-15 GPLed;
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);