Index of /uci/files/monks-problems

	Name	Last modified	Size	Description
	Parent Directory		-
	Index	2006-09-14 18:24	405
	monks-problems.names	2006-09-14 18:24	2.8K
	update	2006-09-14 18:24	10K
	thrun.comparison.dat	2006-09-14 18:24	56K
	thrun.comparison.ps.Z	2006-09-14 18:24	575K