| Fri, 31 Mar 2000 10:17:32 +0200 | kleing | tuned | changeset | files |
| Fri, 31 Mar 2000 10:15:33 +0200 | kleing | included new stanford mirror, mirror links now point to source directly | changeset | files |
| Fri, 31 Mar 2000 10:08:26 +0200 | nipkow | updated recdef | changeset | files |
| Thu, 30 Mar 2000 21:26:10 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 30 Mar 2000 20:06:27 +0200 | nipkow | recdef | changeset | files |
| Thu, 30 Mar 2000 19:47:17 +0200 | nipkow | If all termination conditions are proved automatically, | changeset | files |
| Thu, 30 Mar 2000 19:45:51 +0200 | nipkow | recdef.rules -> recdef.simps | changeset | files |