| Tue, 18 Jul 2006 14:53:27 +0200 | webertj | typo (theorerms) fixed | file | diff | annotate |
| Tue, 06 Jun 2006 16:07:10 +0200 | wenzelm | quoted "if"; | file | diff | annotate |
| Tue, 19 Jul 2005 11:38:45 +0200 | paulson | textual tweak | file | diff | annotate |
| Fri, 24 Jun 2005 13:22:08 +0200 | paulson | stylistic tweaks concerning Find | file | diff | annotate |