Index of /~dale/lProlog/examples/ljfol/old

	Name	Last modified	Size	Description
	Parent Directory		-
	session.html	2002-09-05 17:57	8.3K
	seq.html	2002-09-05 17:57	4.6K
	formulas.mod	2002-09-05 17:57	3.9K
	html.mod	2002-09-05 17:57	3.8K
	lj.fig	2002-09-05 17:57	3.4K
	parser.old	2002-09-05 17:57	3.3K
	aux.mod	2002-09-05 17:57	3.0K
	printer.mod	2002-09-05 17:57	2.5K
	progs.mod	2002-09-05 17:57	2.4K
	toc.html	2024-01-08 11:57	2.1K
	subst.old	2002-09-05 17:57	2.0K
	utacs.mod	2002-09-05 17:57	1.5K
	lex.old	2002-09-05 17:57	1.5K
	unify.mod	2002-09-05 17:57	1.3K
	fol.mod	2002-09-05 17:57	919
	parse.test	2002-09-05 17:57	845
	proof	2002-09-05 17:57	676