| 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 |
| Thu, 22 Apr 1999 11:06:35 +0200 | mueller | moved this trivial example to new ex dir; | changeset | files |