| Fri, 07 Jan 2000 11:04:15 +0100 | paulson | tidied | file | diff | annotate |
| Wed, 22 Dec 1999 17:18:03 +0100 | paulson | Working version after a FAILED attempt to base Follows upon LeadsETo | file | diff | annotate |
| Mon, 20 Sep 1999 10:45:30 +0200 | paulson | new theorem mono_Follows_apply | file | diff | annotate |
| Thu, 26 Aug 1999 11:37:43 +0200 | paulson | new destruction rules | 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 |