| 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 |