Index of /home/mf/ADT

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