| Mon, 08 Oct 2001 12:13:34 +0200 | wenzelm | fixed numerals; | file | diff | annotate |
| Fri, 12 Jan 2001 16:19:44 +0100 | paulson | updated for new version of even-examples.tex | file | diff | annotate |
| Thu, 26 Oct 2000 11:27:48 +0200 | paulson | added the $Id:$ line | file | diff | annotate |