| Wed, 15 Oct 1997 15:15:22 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 15 Oct 1997 15:14:56 +0200 | wenzelm | eliminated aliasing merge: now always extends; | changeset | files |
| Wed, 15 Oct 1997 15:13:43 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 15 Oct 1997 15:13:25 +0200 | wenzelm | improved print_data; | changeset | files |
| Wed, 15 Oct 1997 15:12:59 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 15 Oct 1997 11:43:27 +0200 | wenzelm | slightly changed interfaces for oracles; | changeset | files |
| Wed, 15 Oct 1997 11:27:55 +0200 | nipkow | Added ack to Mateja Jamnik. | changeset | files |