| Wed, 09 Oct 1996 13:50:28 +0200 | paulson | Fuller description of examples | file | diff | annotate |
| Fri, 17 Nov 1995 13:22:50 +0100 | clasohm | HTML version of README | file | diff | annotate |
| Fri, 17 Nov 1995 12:40:09 +0100 | clasohm | converted README to HTLM; replaced "CHOL" by "HOL" | file | diff | annotate |