Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 05-Dec-2002 04:03 -
![[ ]](/icons/unknown.gif){kind=icon}
edit 30-Sep-2002 16:10 1k
install 30-Sep-2002 16:10 2k
example.mp 30-Sep-2002 16:10 2k
example.mf 30-Sep-2002 16:10 4k
![[ ]](/icons/hand.right.gif){kind=icon}
README 30-Sep-2002 16:12 4k
proofrc 30-Sep-2002 16:10 6k
proof.1 30-Sep-2002 16:13 10k
proof 30-Sep-2002 16:10 11k
![[TXT]](/icons/text.gif){kind=icon}
example.tex 30-Sep-2002 16:10 11k