| Tue, 20 May 1997 11:05:59 +0200 | wenzelm | improved output syntax of op =, op ~= (more parentheses); | changeset | files |
| Tue, 20 May 1997 10:48:08 +0200 | wenzelm | SYNC; | changeset | files |
| Tue, 20 May 1997 10:47:56 +0200 | wenzelm | index: model checkers; | changeset | files |