Index of /afs/cs/project/ai-repository/ai/lang/scheme/code/math/satisfy

	Name	Last modified	Size	Description
	Parent Directory		-
	0.doc	1995-06-09 17:59	932
	0.html	1995-06-09 17:59	1.9K
	satisfy.scm	1995-06-09 17:59	6.0K