![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| RW.a | 10-Feb-2000 15:25 | 12K | |
| RW.ada_original | 10-Feb-2000 15:25 | 37K | |
| RW.inca | 10-Feb-2000 15:25 | 12K | |
| RW.query | 10-Feb-2000 15:25 | 2.8K | |
| RW1.prom | 10-Feb-2000 15:25 | 130K | |
| RW4.prom | 10-Feb-2000 15:25 | 155K | |
| RW5.prom | 10-Feb-2000 15:25 | 245K | |
| RW23.prom | 10-Feb-2000 15:25 | 156K | |
| RWlist.inca | 10-Feb-2000 15:25 | 11K | |
| RWlist.query | 10-Feb-2000 15:25 | 1.4K | |
| RWlist6.prom | 10-Feb-2000 15:25 | 475K | |
| RWlist78.prom | 10-Feb-2000 15:25 | 289K | |
| Readme | 10-Feb-2000 15:25 | 1.2K | |
| check.ltl | 10-Feb-2000 15:25 | 1.2K | |
| never1 | 10-Feb-2000 15:25 | 1.4K | |
| never2 | 10-Feb-2000 15:25 | 903 | |
| never3 | 10-Feb-2000 15:25 | 1.3K | |
| never4 | 10-Feb-2000 15:25 | 2.7K | |
| never4_f | 10-Feb-2000 15:25 | 4.4K | |
| never5 | 10-Feb-2000 15:25 | 762 | |
| never5_f | 10-Feb-2000 15:25 | 1.2K | |
| never6 | 10-Feb-2000 15:25 | 3.3K | |
| never6_f | 10-Feb-2000 15:25 | 51K | |
| never7 | 10-Feb-2000 15:25 | 523 | |
| never7_f | 10-Feb-2000 15:25 | 2.1K | |
| never8 | 10-Feb-2000 15:25 | 536 | |
| never8_f | 10-Feb-2000 15:25 | 2.1K | |
| property | 10-Feb-2000 15:25 | 51K | |
| rwf_results | 10-Feb-2000 15:25 | 4.8K | |
| time | 10-Feb-2000 15:25 | 1.5K | |