src/HOLCF/adm.ML
1998-03-10 oheimb 1998-03-10 renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin
1997-10-30 wenzelm 1997-10-30 fixed try_dest_adm; tuned;
1997-10-25 oheimb 1997-10-25 internalized some names
1997-09-03 mueller 1997-09-03 new extended adm tactic introduced;