| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| CVS/ | - | 2022-Dec-17 22:35 |
| Makefile | 313 | 2003-Jul-10 12:34 |
| 1.t | 4093 | 2003-Aug-07 12:30 |
| fig2.pic | 4652 | 2003-Aug-07 12:30 |
| 3.t | 12603 | 2003-Aug-07 12:30 |
| 2.t | 11229 | 2003-Aug-07 12:30 |
| 0.t | 5476 | 2003-Aug-07 12:30 |
| 4.t | 5690 | 2003-Aug-07 12:30 |