src/HOLCF/adm.ML
Wed, 03 Sep 1997 16:24:46 +0200 mueller new extended adm tactic introduced;
less more (0) tip