Index of /~tothl/gepitan/uci repository/prodigy/domains/telescope/probs

	Name	Last modified	Size	Description
	Parent Directory		-
	Index	1996-03-19 13:06	126
	isreflective.lisp	1989-01-30 20:15	177
	istelescopemirror.lisp	1989-01-30 20:15	183