src/HOLCF/IOA/ex/ROOT.ML
Thu, 22 Apr 1999 11:06:35 +0200 mueller moved this trivial example to new ex dir;
less more (0) tip