Index of /ddis/teaching/pai/CIspace/search/saves

	Name	Last modified	Size	Description
	Parent Directory		-
	mod4gr1999.txt	2003-08-30 12:09	942
	mod5gr1999.txt	2003-08-30 12:09	1.2K
	problem1.txt	2003-08-30 12:09	1.2K
	problem2.txt	2003-08-30 12:09	961
	problem3.txt	2003-08-30 12:09	880
	problem4.txt	2003-08-30 12:09	863
	problem5.txt	2003-08-30 12:09	1.2K
	problem6.txt	2003-08-30 12:09	1.3K
	problem7.txt	2003-08-30 12:09	1.4K
	problem8.txt	2003-08-30 12:09	787
	problem9.txt	2003-08-30 12:09	1.6K
	test.txt	2003-08-30 12:09	1.1K
	undo.xml	2003-08-30 12:09	0