src/HOL/UNITY/ListOrder.thy
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