Index of /Software/XSB/syslib/objfiles.saved

	Name	Last modified	Size	Description
	Parent Directory		-
	banner.xwam	2012-11-01 12:13	500
	basics.xwam	2012-11-01 12:13	5.8K
	consult.xwam	2012-11-01 12:13	19K
	curr_sym.xwam	2012-11-01 12:13	16K
	dbclause.xwam	2012-11-01 12:13	5.6K
	debugger.xwam	2012-11-01 12:13	22K
	domain.xwam	2012-11-01 12:13	4.8K
	error_handler.xwam	2012-11-01 12:13	9.3K
	eval.xwam	2012-11-01 12:13	4.0K
	file_io.xwam	2012-11-01 12:13	17K
	file_op.xwam	2012-11-01 12:13	9.0K
	gensym.xwam	2012-11-01 12:13	1.7K
	hilogsym.xwam	2012-11-01 12:13	906
	num_vars.xwam	2012-11-01 12:13	1.5K
	push_io.xwam	2012-11-01 12:13	931
	shell.xwam	2012-11-01 12:13	4.6K
	std_xsb.xwam	2012-11-01 12:13	17K
	string.xwam	2012-11-01 12:13	8.4K
	subsumes.xwam	2012-11-01 12:13	1.2K
	sysinitrc.xwam	2012-11-01 12:13	763
	tables.xwam	2012-11-01 12:13	7.7K
	term_exp.xwam	2012-11-01 12:13	117
	unix.xwam	2012-11-01 12:13	2.7K
	xcallxsb.xwam	2012-11-01 12:13	2.2K
	xsb_hook.xwam	2012-11-01 12:13	2.9K