| Thu, 22 Apr 1999 12:47:07 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 22 Apr 1999 12:42:14 +0200 | mueller | added for mucke translation; | changeset | files |
| Thu, 22 Apr 1999 12:40:11 +0200 | mueller | deleted some old examples in Modelcheck; | changeset | files |
| Thu, 22 Apr 1999 11:09:05 +0200 | mueller | added translation from IOA to mucalculus and corresponding modelchecker examples; | changeset | files |