| File | Size | Date |
|---|---|---|
| hirst.doc | 65 | 1993-06-19 |
| hirst | 308 | 1993-06-19 |
| hirst.h | 22 | 1993-06-19 |
| hirst.i | 302 | 1993-06-19 |
| hirst.t | 211 | 1993-06-19 |
| lamport.doc | 187 | 1993-06-19 |
| lamport.in | 205 | 1993-06-19 |
| lamport.t | 103 | 1993-06-19 |
| makefile | 871 | 1993-06-19 |
| ptemplate.m | 4332 | 1993-06-19 |
| simple.doc | 245 | 1993-06-19 |
| simple.in | 281 | 1993-06-19 |
| simple.t | 593 | 1993-06-19 |
| type.acm | 3345 | 1993-06-19 |
| type.apa | 3361 | 1993-06-19 |
| type.doc | 923 | 1993-06-19 |
| type.in | 1019 | 1993-06-19 |
| typerefs | 3182 | 1993-06-19 |
| typerefs.h | 25 | 1993-06-19 |
| typerefs.i | 4362 | 1993-06-19 |