Fri, 21 May 1999 10:59:41 +0200 | paulson | updated comment | changeset | files |
Fri, 21 May 1999 10:58:47 +0200 | paulson | made definition more readable | changeset | files |
Fri, 21 May 1999 10:56:46 +0200 | paulson | preferring generic rules to specific ones... | changeset | files |