| Sat, 16 Dec 2000 21:41:51 +0100 | wenzelm | tuned HOL/Real/HahnBanach; | file | diff | annotate |
| Sun, 04 Jun 2000 19:39:29 +0200 | wenzelm | removed explicit terminator (";"); | file | diff | annotate |
| Tue, 22 Feb 2000 21:49:34 +0100 | wenzelm | "cases" method; | file | diff | annotate |
| Mon, 21 Feb 2000 14:10:21 +0100 | wenzelm | tuned footnote; | file | diff | annotate |
| Wed, 05 Jan 2000 12:02:24 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 29 Oct 1999 20:18:34 +0200 | wenzelm | final update by Gertrud Bauer; | file | diff | annotate |
| Mon, 25 Oct 1999 19:24:43 +0200 | wenzelm | update by Gertrud Bauer; | file | diff | annotate |
| Fri, 22 Oct 1999 20:14:31 +0200 | wenzelm | HahnBanach update by Gertrud Bauer; | file | diff | annotate |