Wed, 22 Dec 1999 17:18:03 +0100 | paulson | Working version after a FAILED attempt to base Follows upon LeadsETo | changeset | files |
Wed, 22 Dec 1999 17:16:53 +0100 | paulson | new weakening laws | changeset | files |
Wed, 22 Dec 1999 17:16:23 +0100 | paulson | removing the "{} : CC" requirement for leadsTo[CC] | changeset | files |