src/HOLCF/adm_tac.ML
2005-07-14 wenzelm 2005-07-14 tuned;
2005-05-24 paulson 2005-05-24 cannot have files named adm.ML and Adm.ML on Macs, so deleted one and renamed the other