Index of /~dale/lProlog/examples/tactics

	Name	Last modified	Size	Description
	Parent Directory		-
	go	2002-09-05 17:57	159
	goals.lp	2002-09-05 17:57	1.5K
	goals.mod	2002-09-05 17:57	1.1K
	goals.sig	2002-09-05 17:57	378
	inter_tacs.lp	2002-09-05 17:57	3.3K
	inter_tacs.mod	2002-09-05 17:57	1.0K
	inter_tacs.sig	2002-09-05 17:57	365
	lextac.mod	2002-09-05 17:57	1.4K
	parser_tac.mod	2002-09-05 17:57	3.6K
	tacticals.lp	2002-09-05 17:57	2.3K
	tacticals.mod	2002-09-05 17:57	765
	tacticals.sig	2002-09-05 17:57	239
	toc.html	2024-01-08 11:57	1.3K
	toploop.lp	2002-09-05 17:57	1.5K
	toploop.mod	2002-09-05 17:57	1.0K
	toploop.sig	2002-09-05 17:57	314