Index of /afs/cs/user/reids/code/midas/serf

	Name	Last modified	Size	Description
	Parent Directory		-
	cardinality.lisp.Z	1999-07-29 13:22	3.2K
	closed-world-sets.lisp.Z	1999-07-29 13:22	2.2K
	set-reasoner.lisp.Z	1999-07-29 13:22	23K
	sterm.lisp.Z	1999-07-29 13:22	5.0K