Index of /automath/archive/jpg-ready-for-pdf/xaut013

	Name	Last modified	Size	Description
	Parent Directory		-
	xaut013-001.jpg	2004-04-23 16:10	1.4M
	xaut013-002.jpg	2004-04-23 16:10	1.2M
	xaut013-003.jpg	2004-04-23 16:10	1.4M
	xaut013-004.jpg	2004-04-23 16:10	1.6M