~ / people / lenstra / gorenstein /

• NameSizeModified
• ..
• to.dvi1539207/12/2000 1:38:16 AM
• to.log5567/12/2000 1:38:16 AM
• to.tex1158707/12/2000 1:14:23 AM