Index of /pub/cs-reports/baastad.92

      Name                    Last modified       Size  Description


[DIR] Parent Directory        25-Nov-1994 16:14      -  
[   ] mizar_app_505.ps        10-Feb-1993 15:01    45k  
[   ] mizar_app_506.ps        10-Feb-1993 15:01    21k  
[CMP] proc.dvi.Z              11-Mar-1993 08:30   692k  
[CMP] proc.ps.Z               11-Mar-1993 08:31   1.0M  
[CMP] procSS.dvi.Z            10-Feb-1993 15:01   691k  
[CMP] procSS.ps.Z             10-Feb-1993 15:01   1.0M