| Fri, 27 Aug 2010 14:07:09 +0200 | wenzelm | expanded some aliases from structure Unsynchronized; | file | diff | annotate |
| Tue, 17 Aug 2010 17:57:19 +0100 | webertj | Tuned. | file | diff | annotate |
| Sat, 07 Nov 2009 18:55:30 +0000 | webertj | Due to popular demand: added a function that benchmarks proof reconstruction | file | diff | annotate |
| Sat, 17 Oct 2009 16:33:14 +0200 | wenzelm | Unsynchronized.set etc.; | file | diff | annotate |
| Mon, 27 Jul 2009 23:17:40 +0200 | wenzelm | proper context for SAT tactics; | file | diff | annotate |
| Mon, 16 Mar 2009 18:24:30 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |