src/HOLCF/Tools/domain/domain_theorems.ML
Tue, 25 Sep 2007 17:06:14 +0200 wenzelm proper Sign operations instead of Theory aliases;
Fri, 31 Aug 2007 23:17:20 +0200 wenzelm legacy_infer_term: ProofContext.mode_schematic;
Sat, 21 Jul 2007 23:25:00 +0200 wenzelm tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);
Thu, 31 May 2007 14:01:58 +0200 wenzelm moved HOLCF tools to canonical place;
less more (0) tip