                                     TkTRS

				  Donald Syme
			    The Computer Laboratory
			      Cambridge University
		        email: Donald.Syme@cl.cam.ac.uk

1. THIS PACKAGE

	This distribution file for this package also includes
	the other TkHol packages which this program requires
	to run.  

	The package dependency graph for this package is something
	like:

	                  TkTRS
	     	        /   |         
	      	       /    |          
	     HolRichText  TkHolSlave               
			                          
				            
                                              

