Index of /~dpierce/papers/Macintyre

	Name	Last modified	Size	Description
	Parent Directory		-
	main.dvi	19-Sep-2003 12:14	41K
	main.pdf	19-Sep-2003 12:14	136K
	main.ps	19-Sep-2003 12:14	176K
	main.tex	02-Oct-2000 15:10	28K