![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/generic.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| transition.ind | 1997-09-16 14:57 | 5.2K | |
| transition.clp | 1997-09-16 14:57 | 3.9K | |
| idef3top.def | 1997-09-16 14:57 | 166 | |
| idef3ost.def | 1997-09-16 14:57 | 5.7K | |
| idef3obj.def | 1997-09-16 14:57 | 840 | |
| idef3.slb | 1997-09-16 14:57 | 11K | |
| idef3.def | 1997-09-16 14:57 | 14K | |
| diagrams.def | 1997-09-16 14:57 | 498 | |
| README | 1997-09-16 14:57 | 651 | |