| Tue, 12 Jan 1999 17:19:53 +0100 | wenzelm | 'same' method, 'immediate' proof; | changeset | files |
| Tue, 12 Jan 1999 17:19:13 +0100 | wenzelm | tuned msg; | changeset | files |
| Tue, 12 Jan 1999 17:17:07 +0100 | wenzelm | SYNC; | changeset | files |
| Tue, 12 Jan 1999 17:01:28 +0100 | wenzelm | fixed again; | changeset | files |
| Tue, 12 Jan 1999 16:44:31 +0100 | wenzelm | improved asm_finish; | changeset | files |
| Tue, 12 Jan 1999 16:42:21 +0100 | wenzelm | get_tthms witness theorems; | changeset | files |
| Tue, 12 Jan 1999 16:00:31 +0100 | nipkow | Split argument structure. | changeset | files |