| Mon, 31 Aug 2009 15:29:26 +0200 | boehmes | sledgehammer's temporary files are removed properly (even in case of an exception occurs) | changeset | files |
| Mon, 31 Aug 2009 14:10:11 +0200 | nipkow | merged | changeset | files |
| Mon, 31 Aug 2009 14:09:42 +0200 | nipkow | tuned the simp rules for Int involving insert and intervals. | changeset | files |