Index of /pub/archive/ftp.digital.com/pub/misc/detlefs

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 detlefs-coots95-slides.ps              1995-12-19 00:00  479K  
 detlefs-coots95-slides2.ps             1995-12-19 00:00  2.0M  
 detlefs-coots95.ps                     1995-12-19 00:00  757K  
 escover.ps                             1995-12-19 00:00  232K  
 gc-cmu-tr.ps                           1995-12-19 00:00  271K  
 gc.tar                                 1995-12-19 00:00  3.2M  
 prover.tar                             1995-12-19 00:00  170K  
 rc-gc-tests.tar                        1995-12-19 00:00  3.8M  
 rc-gc.ps                               1995-12-19 00:00  237K  
 rc-gc.tar                              1995-12-19 00:00  180K  
 thesis.ps.Z                            1995-12-19 00:00  491K