File Name ↓ | File Size ↓ | Date ↓ | |
---|---|---|---|
Parent directory/ | - | - | |
proof.1 | 9.8 KiB | 2002-Sep-30 16:13 | |
README | 3.8 KiB | 2002-Sep-30 16:12 | |
edit | 487 B | 2002-Sep-30 16:10 | |
example.mf | 3.7 KiB | 2002-Sep-30 16:10 | |
example.mp | 1.9 KiB | 2002-Sep-30 16:10 | |
example.tex | 11.5 KiB | 2002-Sep-30 16:10 | |
proofrc | 5.6 KiB | 2002-Sep-30 16:10 | |
install | 1.9 KiB | 2002-Sep-30 16:10 | |
proof | 10.7 KiB | 2002-Sep-30 16:10 |