Index of /home/mf/ADT

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