| Name | Size | Date | MIME Type |
|---|---|---|---|
| ../ | - | Dec 22, 2023 00:47:37 | Directory |
| Makefile | 0.12 KB | Apr 04, 1992 22:37:22 | application/octet-stream |
| petri.c | 6.87 KB | Apr 21, 1992 23:43:36 | text/x-c |
| phil.dat | 0.25 KB | Nov 15, 1991 18:19:42 | application/octet-stream |
| README | 1.24 KB | Apr 04, 1992 22:38:50 | application/octet-stream |
| right.html | 2.85 KB | Oct 03, 2020 14:13:34 | text/html |