Index of /files/161/old

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 sense10.txt             24-Aug-1994 00:00  691K  
 sense10.zip             25-Aug-1994 00:00  280K  
 sense11.txt             05-Nov-2003 00:00  682K  
 sense11.zip             05-Nov-2003 00:00  248K  
 sense11p.pdf            01-Jul-2002 00:00  847K  
 sense11p.zip            01-Jul-2002 00:00  764K  
 sense11t.tex            01-Jul-2002 00:00  679K  
 sense11t.zip            01-Jul-2002 00:00  247K