Index of /sites/dsc/storage2/community/c1/shared2/test9/dbc/quenched/occam/new/proptest/

../
test/                                              20-Jul-1995 15:02                   -
makefile                                           14-Jan-1991 19:29                 337
output                                             14-Jan-1991 19:39                 353
test.btl                                           14-Jan-1991 19:38               16256
test.c8h                                           14-Jan-1991 19:38               14935
test.dsc                                           14-Jan-1991 19:38                 122
test.l8h                                           14-Jan-1991 19:31                 128
test.lis                                           14-Jan-1991 19:10                9504
test.m8h                                           14-Jan-1991 19:38                 113
test.occ                                           14-Jan-1991 19:37                6742
test.pgm                                           14-Jan-1991 19:26                 434
test.t8h                                           14-Jan-1991 19:38               10325