| Thu, 24 Oct 2002 07:23:46 +0200 | nipkow | ASIN -> SET | file | diff | annotate |
| Mon, 30 Sep 2002 16:48:15 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Mon, 29 Apr 2002 11:30:15 +0200 | nipkow | Better compiler proof | file | diff | annotate |
| Fri, 26 Apr 2002 11:47:01 +0200 | nipkow | New machine architecture and other direction of compiler proof. | file | diff | annotate |