| 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 |
| Thu, 22 Apr 1999 11:00:30 +0200 | mueller | added frontend syntax for IOA, moved trivial examples to folder ex; | changeset | files |