Index of /miplib3

 Name                    Last modified       Size  Description

 Parent Directory        14-Jun-2011 13:02      -  
 images/                 03-Jun-2011 16:40      -  
 miplib.html             03-Jun-2011 16:40     4k  
 miplib3.html            03-Jun-2011 16:40     7k  
 miplib3.ps.gz           03-Jun-2011 16:40    74k  
 miplib3.tar.gz          03-Jun-2011 16:40   6.0M  
 miplib3/                03-Jun-2011 16:40      -  
 miplib3_cat.txt         03-Jun-2011 16:40    25k  
 mps_format.txt          03-Jun-2011 16:40     5k