| Fri, 21 Oct 2011 08:24:57 +0200 | nipkow | tuned | changeset | files |
| Thu, 20 Oct 2011 22:26:02 +0200 | blanchet | mark "xt..." rules as "no_atp", since they are easy consequences of other better named properties | changeset | files |
| Thu, 20 Oct 2011 22:02:49 +0200 | huffman | merged | changeset | files |