Index of /~tothl/gepitan/uci repository/prodigy/domains/extended-strips/probs

	Name	Last modified	Size	Description
	Parent Directory		-
	Index	1996-03-19 13:05	188
	p5.lisp	1989-08-09 18:54	295
	p6.lisp	1989-08-09 18:55	384
	p1.lisp	1989-08-09 18:44	467
	p3.lisp	1989-08-09 18:51	584
	p2.lisp	1989-08-09 18:49	598