Index of /pub/tex/ftp.dante.de/web/spiderweb/src/turing+

	Name	Last modified	Size	Description

	Parent Directory		-
	turing+.spider	1991-03-19 01:00	18K
	make	1993-04-04 02:00	138
	example.mail	1991-04-08 02:00	6.7K

Apache/2.4 Server at linux.mathematik.tu-darmstadt.de Port 80