| Tue, 08 Apr 1997 12:03:59 +0200 | nipkow | Couldn't solve n < n+1 because of missing -1 | file | diff | annotate |
| Thu, 28 Nov 1996 12:47:48 +0100 | paulson | Fixed spelling error | file | diff | annotate |
| Mon, 21 Oct 1996 09:49:41 +0200 | nipkow | Solves simple arithmetic goals. | file | diff | annotate |