| Tue, 23 Oct 2001 22:52:31 +0200 | wenzelm | eliminated old numerals; | file | diff | annotate |
| Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
| Fri, 05 May 2000 12:51:33 +0200 | nipkow | Added AVL | file | diff | annotate |