src/ZF/Coind/ECR.ML
Thu, 26 Sep 1996 15:49:54 +0200 paulson Ran expandshort; used stac instead of ssubst
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Mon, 27 Feb 1995 18:12:21 +0100 lcp New example by Jacob Frost, tidied by lcp
less more (0) tip