| Wed, 29 Sep 1999 14:56:01 +0200 | wenzelm | Sign.of_sort; | file | diff | annotate |
| Tue, 10 Mar 1998 18:33:13 +0100 | oheimb | renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin | file | diff | annotate |
| Thu, 30 Oct 1997 11:19:57 +0100 | wenzelm | fixed try_dest_adm; | file | diff | annotate |
| Sat, 25 Oct 1997 14:43:55 +0200 | oheimb | internalized some names | file | diff | annotate |
| Wed, 03 Sep 1997 16:24:46 +0200 | mueller | new extended adm tactic introduced; | file | diff | annotate |