1. THIS PACKAGE

	This package provides a simple level of notification on 
	"theory" events, i.e. changes to a theory segment.
	These include saving a theorem, adding a definition
	and so on.
	              HolTheoryNotification
	     	     	     |	      \     
	      	             |	       \      
	                TkHolSlave       Tcl        
			     |	             
			     |	              
                            HOL                  
				     

