Fri, 31 Aug 2007 23:17:20 +0200 | wenzelm | legacy_infer_term: ProofContext.mode_schematic; | file | diff | annotate |
Sat, 21 Jul 2007 23:25:00 +0200 | wenzelm | tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.); | file | diff | annotate |
Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |