Mon, 14 Jan 2008 03:49:53 +0100 | huffman | converted adm_all and adm_ball to rule_format; cleaned up | file | diff | annotate |
Thu, 03 Jan 2008 17:02:56 +0100 | huffman | new-style theorem references | file | diff | annotate |
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 |