                                 TkTheoryViewer

				  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:

	              TkTheoryViewer
	             	     |	          
	    ------------------------------------------             
            |	     |              |	             |
     HolRichText     |         ScriptFiles   HolTheoryNotification
	    |        |  	    |        	     |
	    |--------   	    |       	     |
            |                    Popups              |
	    |   				     |
	TkHolSlave				 TkHolSlave
