src/HOL/UNITY/ListOrder.thy
2012-03-13 wenzelm 2012-03-13 tuned proofs;
2012-02-21 wenzelm 2012-02-21 tuned proofs;
2011-11-12 wenzelm 2011-11-12 tuned proofs;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-07-27 krauss 2009-07-27 "more standard" argument order of relation composition (op O)
2009-03-02 nipkow 2009-03-02 name changes
2008-07-25 haftmann 2008-07-25 added class preorder
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2003-01-31 paulson 2003-01-31 conversion to new-style theories and tidying
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
1999-06-10 paulson 1999-06-10 using the new GenPrefix theory
1999-05-24 paulson 1999-05-24 lists are partially ordered by the prefix relation