src/HOL/Library/List_Prefix.thy
2010-08-27 haftmann 2010-08-27 renamed class/constant eq to equal; tuned some instantiations
2010-06-21 haftmann 2010-06-21 added bot instances; tuned
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-03-27 haftmann 2008-03-27 explicit case names for rule list_induct2
2008-01-02 haftmann 2008-01-02 removed some legacy instantiations
2007-12-18 wenzelm 2007-12-18 tuned proofs, document;
2007-12-17 nipkow 2007-12-17 removed legacy proofs
2007-12-10 haftmann 2007-12-10 switched import from Main to List
2007-12-06 nipkow 2007-12-06 R&F: added sgn lemma Prefix: sledge-hammered
2007-11-08 wenzelm 2007-11-08 tuned presentation;
2007-11-08 wenzelm 2007-11-08 avoid implicit use of prems; tuned proofs;
2007-11-07 kleing 2007-11-07 map and prefix
2007-11-05 kleing 2007-11-05 misc lemmas about prefix, postfix, and parallel
2007-06-14 wenzelm 2007-06-14 tuned proofs;
2007-06-05 wenzelm 2007-06-05 tuned proofs;
2007-01-25 haftmann 2007-01-25 made executable
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-11 wenzelm 2006-11-11 tuned proofs;
2006-02-16 wenzelm 2006-02-16 new-style definitions/abbreviations;
2006-01-21 wenzelm 2006-01-21 tuned proofs;
2005-11-25 wenzelm 2005-11-25 tuned induct proofs;
2005-08-31 wenzelm 2005-08-31 reactivate postfix by change of syntax; tuned presentation;
2004-12-01 nipkow 2004-12-01 Removed postfix >= because of new >= sugar
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);