Tue, 05 Aug 2008 14:40:48 +0200 | krauss | fix HOL/ex/LexOrds.thy; add to regression | file | diff | annotate |
Tue, 13 Feb 2007 10:09:21 +0100 | bulwahn | improved lexicographic order termination tactic | file | diff | annotate |
Wed, 07 Feb 2007 13:05:28 +0100 | bulwahn | changes in lexicographic_order termination tactic | file | diff | annotate |
Wed, 01 Nov 2006 08:46:54 +0100 | bulwahn | added lexicographic_order tactic | file | diff | annotate |