| Thu, 06 Dec 2001 13:01:07 +0100 | paulson | intro and elim now require arguments | file | diff | annotate |
| Wed, 05 Dec 2001 15:36:36 +0100 | wenzelm | adapted intr/elim uses; | file | diff | annotate |
| Fri, 03 Aug 2001 18:04:55 +0200 | paulson | numerous stylistic changes and indexing | file | diff | annotate |