Index of /tex-archive/web/spiderweb/src/turing

	Name	Last modified	Size	Description
	Parent Directory		-
	make	1993-04-04 04:30	135
	turing.spider	1991-06-27 04:30	21K