Index of /pub/javier

	Name	Last modified	Size	Description
	Parent Directory		-
	kr94.ps	10-Dec-1993 10:04	191K
	thesis.dvi	23-Dec-1993 11:42	493K
	thesis.ps	23-Dec-1993 11:43	1.1M