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