| Wed, 21 May 1997 17:13:00 +0200 | wenzelm | tuned all READMEs; | file | diff | annotate |
| Wed, 07 May 1997 13:51:22 +0200 | paulson | Moved induction examples to directory Induct | file | diff | annotate |
| 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 |