Sun, 21 Oct 2007 14:21:53 +0200 | wenzelm | removed obsolete ML bindings; | file | diff | annotate |
Tue, 25 Sep 2007 17:06:14 +0200 | wenzelm | proper Sign operations instead of Theory aliases; | file | diff | annotate |
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 |