Name                    Last modified       Size  Description

 Parent Directory        02-Dec-2002 00:13      -  
 tipa10.tfm              29-May-2002 00:00     2k  
 tipa12.tfm              29-May-2002 00:00     2k  
 tipa17.tfm              29-May-2002 00:00     2k  
 tipa8.tfm               29-May-2002 00:00     2k  
 tipa9.tfm               29-May-2002 00:00     2k  
 tipab10.tfm             29-May-2002 00:00     2k  
 tipabx10.tfm            29-May-2002 00:00     2k  
 tipabx12.tfm            29-May-2002 00:00     2k  
 tipabx8.tfm             29-May-2002 00:00     2k  
 tipabx9.tfm             29-May-2002 00:00     2k  
 tipasl10.tfm            29-May-2002 00:00     2k  
 tipasl12.tfm            29-May-2002 00:00     2k  
 tipasl8.tfm             29-May-2002 00:00     2k  
 tipasl9.tfm             29-May-2002 00:00     2k  
 tipass10.tfm            29-May-2002 00:00     2k  
 tipass12.tfm            29-May-2002 00:00     2k  
 tipass17.tfm            29-May-2002 00:00     2k  
 tipass8.tfm             29-May-2002 00:00     2k  
 tipass9.tfm             29-May-2002 00:00     2k  
 xipa10.tfm              29-May-2002 00:00     2k  
 xipab10.tfm             29-May-2002 00:00     2k  
 xipabx10.tfm            29-May-2002 00:00     2k  
 xipasl10.tfm            29-May-2002 00:00     2k  
 xipass10.tfm            29-May-2002 00:00     2k