Tue, 16 Aug 2005 18:53:11 +0200 | paulson | more simprules now have names | changeset | files |
Tue, 16 Aug 2005 15:36:28 +0200 | paulson | classical rules must have names for ATP integration | changeset | files |
Tue, 16 Aug 2005 13:54:24 +0200 | nipkow | added listT | changeset | files |