src/HOLCF/adm.ML
Fri, 28 Sep 2001 19:22:40 +0200 wenzelm avoid handle _;
Fri, 31 Aug 2001 22:44:44 +0200 wenzelm fixed header;
Fri, 10 Mar 2000 15:03:05 +0100 berghofe Type.typ_match now uses Vartab instead of association lists.
Wed, 29 Sep 1999 14:56:01 +0200 wenzelm Sign.of_sort;
Tue, 10 Mar 1998 18:33:13 +0100 oheimb renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin
Thu, 30 Oct 1997 11:19:57 +0100 wenzelm fixed try_dest_adm;
Sat, 25 Oct 1997 14:43:55 +0200 oheimb internalized some names
Wed, 03 Sep 1997 16:24:46 +0200 mueller new extended adm tactic introduced;
less more (0) tip