Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
article.ps | 1995-01-12 15:01 | 45K | ||
A.proof | 1995-01-13 11:04 | 9.4K | ||
C.proof | 1995-01-13 11:04 | 7.9K | ||
B.proof | 1995-01-13 11:04 | 2.4K | ||
A.in | 1995-01-13 11:04 | 861 | ||
D.in | 1995-01-13 11:04 | 837 | ||
B.in | 1995-01-13 11:04 | 675 | ||
C.in | 1995-01-13 11:04 | 589 | ||
README | 1995-01-12 14:53 | 264 | ||