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

	Name	Last modified	Size	Description
	Parent Directory		-
	xaut012-001.jpg	2004-04-23 16:10	527K
	xaut012-002.jpg	2004-04-23 16:10	334K
	xaut012-003.jpg	2004-04-23 16:10	473K
	xaut012-004.jpg	2004-04-23 16:10	278K