src/HOLCF/Tools/domain/domain_extender.ML
2008-06-25 wenzelm 2008-06-25 moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2007-10-09 wenzelm 2007-10-09 AxClass.axiomatize: renamed XXX_i to XXX, and XXX to XXX_cmd;
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-09-25 wenzelm 2007-09-25 proper Sign operations instead of Theory aliases;
2007-09-25 wenzelm 2007-09-25 Syntax.parse/check/read;
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;