Index of /backup/Downloads/prism-4.8.1-linux64-x86/prism-examples/ptas/simple/

../
auto                                               12-Jan-2024 23:19                  78
formats09.nm                                       12-Jan-2024 23:19                 423
formats09.pctl                                     12-Jan-2024 23:19                  48