| Thu, 28 Apr 2005 17:57:13 +0200 | paulson | auto update | changeset | files |
| Thu, 28 Apr 2005 17:56:58 +0200 | paulson | fixed treatment of higher-order simprules | changeset | files |
| Thu, 28 Apr 2005 17:08:08 +0200 | bauerg | *** empty log message *** | changeset | files |