| Thu, 24 Feb 2000 08:56:36 +0100 | nipkow | renamed a lemma | file | diff | annotate |
| Wed, 12 Jan 2000 15:58:16 +0100 | nipkow | Move some lemmas to List. | file | diff | annotate |
| Mon, 06 Dec 1999 14:23:45 +0100 | nipkow | Renamed some vars | file | diff | annotate |
| Wed, 01 Dec 1999 18:22:28 +0100 | nipkow | Fixed a problem with returning from the last frame. | file | diff | annotate |
| Thu, 25 Nov 1999 12:01:28 +0100 | nipkow | Minor mods. | file | diff | annotate |
| Fri, 19 Nov 1999 16:30:52 +0100 | oheimb | re-shaped and re-ordered conversion relations | file | diff | annotate |
| Thu, 11 Nov 1999 12:23:45 +0100 | nipkow | *** empty log message *** | file | diff | annotate |