| Thu, 22 Apr 1999 11:00:30 +0200 | mueller | added frontend syntax for IOA, moved trivial examples to folder ex; | changeset | files |
| Thu, 22 Apr 1999 10:56:37 +0200 | mueller | added modelchecker mucke besides modelchecker eindhoven; | changeset | files |
| Thu, 22 Apr 1999 10:55:23 +0200 | mueller | delete old files for adding second modelchecker connection; | changeset | files |