Index of /home/mf/ADT

      Name                    Last modified      Size  Description
      ADT_and_SDT.abs         1997-02-27 12:40  934   
      ADT_and_SDT.dvi         1997-03-13 21:08   82K  
      ADT_and_SDT.ps          1997-03-13 21:08  237K  
      adequacy.abs            1996-04-19 18:04  877   
      adequacy.dvi            1994-06-20 10:26   81K  
      adequacy.ps             1994-06-20 10:26  226K  
      axdt.dvi                1996-03-07 10:21   42K  
      axdt.ps                 1996-03-07 10:21  115K  
      coinduction.abs         1997-04-11 10:40  1.1K  
      coinduction.dvi         1997-04-11 10:40   99K  
      coinduction.ps          1997-04-11 10:40  295K  
      cpo-pk.abs              1994-12-06 14:31  1.2K  
      cpo-pk.dvi              1995-11-08 14:06  143K  
      cpo-pk.ps               1995-11-08 14:06  305K  
      cub.abs                 1997-04-10 16:58  859   
      cub.dvi                 1997-04-22 14:40   92K  
      cub.ps                  1997-04-22 14:40  248K  
      enrichment.abs          1996-11-15 15:30  1.1K  
      enrichment.dvi          1997-01-20 14:13  153K  
      enrichment.ps           1997-01-20 14:14  356K  
      games.dvi               1998-04-22 19:04   94K  
      games.ps                1998-04-22 18:59  175K  
      lifting.abs             1995-05-19 16:00  1.1K  
      lifting.dvi             1995-07-28 13:48   87K  
      lifting.ps              1995-07-28 13:48  210K  
      rep.abs                 1996-02-26 14:37  1.4K  
      rep.dvi                 1996-03-15 10:45  181K  
      rep.ps                  1996-03-15 10:45  385K  
      tenyears.2up.ps         1996-05-13 12:09  362K  
      tenyears.ps             1996-01-24 19:06  351K  
      thesis.abs              1995-01-18 11:52  2.8K