Index of /home/mf/TYPES

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