	
	Tactic Trees in eXene - Version 1
	
		December, 1992

	----------------------------------
	
This directory contains three subdirectories: 

	doc : documentation 

	src : SML code for tactic trees in eXene 
 
	examples : several examples of using the tactic trees package 
