src/HOLCF/Tools/domain/domain_library.ML
Sun, 23 Sep 2007 22:23:27 +0200 wenzelm TypeInfer.constrain: canonical argument order;
Wed, 06 Jun 2007 23:06:29 +0200 huffman use new-style class for sq_ord; rename op << to sq_le
Thu, 31 May 2007 14:01:58 +0200 wenzelm moved HOLCF tools to canonical place;
less more (0) tip