Index of /edu/year/2014/course/TIN172/aips2000-testdata/Elevator

	Name	Last modified	Size	Description
	Parent Directory		-
	m10-Full/	2000-05-16 19:46	-
	m10-strips/	2000-05-16 19:46	-
	m10-simple/	2000-05-16 19:46	-
	m10-Strips-Untyped/	2000-05-16 19:46	-