Re: Problems with "curry"'s formal specification sebastian.egner@xxxxxx 26 Feb 2002 15:53 UTC