| Thu, 22 Apr 1999 11:06:35 +0200 | mueller | moved this trivial example to new ex dir; | changeset | files |
| Thu, 22 Apr 1999 11:05:48 +0200 | mueller | changed to include new subdirs ex and Modelcheck; | changeset | files |
| Thu, 22 Apr 1999 11:02:46 +0200 | mueller | put types into "" because of signature clash; | changeset | files |