Fri, 14 Jan 2000 12:17:53 +0100 | paulson | still working; a bit of polishing | file | diff | annotate |
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 |