| Wed, 16 Sep 2009 00:12:52 +0200 | wenzelm | added append_after (tuned version of former insert_after of Seq); | changeset | files |
| Tue, 15 Sep 2009 23:57:07 +0200 | wenzelm | double linking for improved performance of "prev"; | changeset | files |
| Tue, 15 Sep 2009 15:44:57 +0200 | wenzelm | merged | changeset | files |
| Tue, 15 Sep 2009 15:29:11 +0200 | boehmes | added hard timeout for sledgehammer based on elapsed time (no need to trust ATP's timeout handling); | changeset | files |
| Tue, 15 Sep 2009 15:17:53 +0200 | wenzelm | Isar.define_command: identify transaction; | changeset | files |
| Tue, 15 Sep 2009 13:09:13 +0200 | wenzelm | updated bib; | changeset | files |
| Mon, 14 Sep 2009 19:30:48 +0200 | nipkow | count number of iterations required for minimization (and fixed bug: minimization was always called) | changeset | files |
| Mon, 14 Sep 2009 12:25:02 +0200 | haftmann | merged | changeset | files |