| Sun, 09 Apr 2006 19:29:44 +0200 | wenzelm | Even/Odd: avoid clash with even/odd of Main HOL; | file | diff | annotate |
| Wed, 19 Oct 2005 21:52:07 +0200 | wenzelm | fix headers; | file | diff | annotate |
| Fri, 18 Jan 2002 18:30:19 +0100 | wenzelm | tuned; | file | diff | annotate |