Index of /obi/USENIX

      Name                   Last modified     Size  Description


[DIR] Parent Directory       15-Aug-07 18:58      -  
[   ] Winter.95              25-Jan-95 23:01    36k  
[   ] buildindex             15-Jun-94 22:13     1k  
[   ] cinci93.abstracts      26-May-93 15:54    24k  
[   ] index                  06-Dec-95 02:10   533k  
[CMP] index.12.05.95.Z       15-Jun-94 17:12   152k  
[CMP] index.Z                06-Dec-95 02:13   178k  
[   ] index.cat              06-Dec-95 02:13   418k  
[   ] index.dct              06-Dec-95 02:13   822k  
[   ] index.doc              06-Dec-95 02:13    65k  
[   ] index.fn               06-Dec-95 02:13     1k  
[   ] index.hl               06-Dec-95 02:13   181k  
[   ] index.ia               15-Jun-94 17:21     2k  
[   ] index.ib               15-Jun-94 17:21   149k  
[   ] index.ic               15-Jun-94 17:21    37k  
[   ] index.inv              06-Dec-95 02:13   1.6M  
[CMP] index.old.Z            22-May-93 20:27   127k  
[   ] index.src              06-Dec-95 02:13     1k  
[CMP] index.very.old.Z       24-Jul-92 20:54   113k  
[DIR] papers/                03-Feb-93 01:46      -