Index of /Labo/Dale.Miller/lProlog/examples/tactics

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