Index of /home/mke/edinburgh

	Name	Last modified	Size	Description
	tools/	1994-01-11 04:41	-
	prolog/	1994-01-11 04:40	-
	io/	1994-01-11 04:37	-
	demo/	1994-01-11 04:33	-
	data/	1994-01-11 04:29	-
	tools.pre	1992-09-04 11:44	1.2K
	tools.descr	1992-09-04 11:42	13K
	CONTENTS	1988-07-08 20:20	16K
	output	1988-04-29 20:28	5.6K
	test.lis	1988-04-15 02:08	14K
	util3.hlp	1988-04-15 01:31	11K
	util2.hlp	1988-04-15 01:29	5.9K
	util.ops	1988-04-15 01:29	650
	util.hlp	1988-04-15 01:26	12K
	toolki.hlp	1988-04-15 01:14	558
	preds.hlp	1988-04-15 00:35	31K
	nutil2.hlp	1988-04-15 00:22	10K
	nutil.hlp	1988-04-15 00:22	4.1K
	make_util	1988-04-15 00:06	427
	CONTENTS.MS	1988-04-14 22:58	14K
	byrd.hlp	1988-04-14 22:49	2.9K