| Wed, 11 Jun 2008 18:15:36 +0200 | wenzelm | OldGoals.inst; | file | diff | annotate |
| Wed, 11 Jun 2008 15:40:44 +0200 | wenzelm | RuleInsts.res_inst_tac with proper context; | file | diff | annotate |
| Wed, 07 May 2008 10:59:02 +0200 | berghofe | Replaced blast by fast in proof of parts_singleton, since blast looped | file | diff | annotate |
| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Mon, 10 Dec 2007 11:24:06 +0100 | haftmann | explicit import of theory Main | file | diff | annotate |
| Wed, 01 Aug 2007 21:10:36 +0200 | wenzelm | tuned ML bindings (for multithreading); | file | diff | annotate |