Index of /home/mf/TYPES

	Name	Last modified	Size	Description
	rectypes.dvi	1996-04-19 17:59	75K
	rectypes.ps	1996-04-19 18:00	188K
	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
	binding.ps	1999-01-14 15:40	288K
	binding.abs	1999-01-15 17:15	898
	binding.dvi	1999-01-15 17:20	102K
	coinduction.abs	1999-06-11 18:39	1.1K
	coinduction.dvi	1999-06-11 18:39	99K
	coinduction.ps	1999-06-11 18:39	295K