| Sat, 30 Oct 1999 20:21:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 Oct 1999 21:34:20 +0200 | wenzelm | added BVC; | file | diff | annotate |
| Thu, 30 Sep 1999 20:49:06 +0200 | wenzelm | Real/HahnBanach; | file | diff | annotate |
| Fri, 20 Aug 1999 15:41:19 +0200 | wenzelm | AxClasses, Isar_examples; | file | diff | annotate |
| Thu, 19 Aug 1999 17:06:05 +0200 | nipkow | new entriues. | file | diff | annotate |
| Thu, 19 Aug 1999 16:54:38 +0200 | paulson | updated | file | diff | annotate |
| Thu, 12 Feb 1998 15:00:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| 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 |