| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| fact.p | 299 B | 1989-Oct-31 13:14 | |
| Makefile | 833 B | 1992-Sep-17 16:14 | |
| self.p | 1.1 KiB | 1989-Oct-31 14:20 | |
| README | 1.4 KiB | 1991-Apr-23 02:31 | |
| e.p | 2.4 KiB | 1989-Oct-31 13:13 | |
| cref.p | 11.0 KiB | 1989-Nov-06 01:42 | |
| basic.doc | 11.0 KiB | 1989-Oct-31 16:24 | |
| basic.p | 65.0 KiB | 1989-Oct-31 21:15 | |