src/HOLCF/Tools/domain/domain_syntax.ML
Thu, 05 Mar 2009 12:08:00 +0100 wenzelm renamed NameSpace.base to NameSpace.base_name;
Sun, 01 Mar 2009 23:36:12 +0100 wenzelm use long names for old-style fold combinators;
Fri, 02 Jan 2009 22:41:42 +0100 wenzelm renamed syntax constant "_var" to "_variable", to avoid clash with internal token marker;
Thu, 07 Feb 2008 03:30:32 +0100 huffman fix broken syntax translations
Thu, 31 May 2007 14:01:58 +0200 wenzelm moved HOLCF tools to canonical place;
less more (0) tip