| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Wed, 01 Aug 2007 20:25:16 +0200 | wenzelm | tuned ML bindings (for multithreading); | 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 |
| Wed, 11 Jul 2007 11:14:51 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:36 +0200 | wenzelm | tactic/method simpset: maintain proper context; | file | diff | annotate |
| Wed, 01 Feb 2006 15:22:02 +0100 | paulson | new and updated protocol proofs by Giamp Bella | file | diff | annotate |