src/HOLCF/test
author wenzelm
Wed, 14 Sep 1994 16:11:19 +0200
changeset 613 f9eb0f819642
parent 243 c22b85994e17
permissions -rw-r--r--
removed lookup_const (use Sign.const_type instead);

Test examples ran successfully