| Wed, 03 Mar 1999 11:15:18 +0100 | paulson | expandshort | file | diff | annotate |
| Thu, 14 Jan 1999 13:18:09 +0100 | nipkow | More arith refinements. | file | diff | annotate |
| Mon, 04 Jan 1999 15:07:47 +0100 | nipkow | Version 1.0 of linear nat arithmetic. | file | diff | annotate |
| Fri, 14 Aug 1998 12:03:01 +0200 | paulson | expandshort | file | diff | annotate |
| Thu, 06 Aug 1998 10:33:54 +0200 | nipkow | First steps towards termination of simply typed terms. | file | diff | annotate |