Index of /home/mf/TYPES

 Name                    Last modified      Size  Description
 binding.abs             15-Jan-1999 17:15  898   
 binding.dvi             15-Jan-1999 17:20  102K  
 binding.ps              14-Jan-1999 15:40  288K  
 coinduction.abs         11-Jun-1999 18:39  1.1K  
 coinduction.dvi         11-Jun-1999 18:39   99K  
 coinduction.ps          11-Jun-1999 18:39  295K  
 glr.abs                 05-Jan-1999 12:06  663   
 glr.dvi                 05-Jan-1999 12:01   79K  
 glr.ps                  05-Jan-1999 12:01  591K  
 rectypes.abs            19-Apr-1996 18:06  686   
 rectypes.dvi            19-Apr-1996 17:59   75K  
 rectypes.ps             19-Apr-1996 18:00  188K