src/HOL/ex/LexOrds.thy
2007-02-13 bulwahn 2007-02-13 improved lexicographic order termination tactic
2007-02-07 bulwahn 2007-02-07 changes in lexicographic_order termination tactic
2006-11-01 bulwahn 2006-11-01 added lexicographic_order tactic