src/HOLCF/Tools/cont_consts.ML
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-09-25 wenzelm 2007-09-25 Syntax.parse/check/read;
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;