| 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 |