src/HOLCF/Tools/cont_consts.ML
Tue, 25 Sep 2007 13:28:37 +0200 wenzelm Syntax.parse/check/read;
Thu, 31 May 2007 14:01:58 +0200 wenzelm moved HOLCF tools to canonical place;
less more (0) tip