| Fri, 30 Aug 2002 16:42:45 +0200 | paulson | removal of blast.overloaded | file | diff | annotate |
| 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 |