src/HOLCF/Tools/domain/domain_theorems.ML
2008-01-03 huffman 2008-01-03 new-style theorem references
2007-10-21 wenzelm 2007-10-21 removed obsolete ML bindings;
2007-09-25 wenzelm 2007-09-25 proper Sign operations instead of Theory aliases;
2007-08-31 wenzelm 2007-08-31 legacy_infer_term: ProofContext.mode_schematic;
2007-07-21 wenzelm 2007-07-21 tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;