| Wed, 22 Dec 1999 17:18:03 +0100 | paulson | Working version after a FAILED attempt to base Follows upon LeadsETo | file | diff | annotate |
| Thu, 10 Jun 1999 10:38:11 +0200 | paulson | shortened Follows to Fols | file | diff | annotate |
| Mon, 24 May 1999 15:47:06 +0200 | paulson | Theory of the "Follows" relation | file | diff | annotate |