
1. Those Helpful Testers

	Thanks   to   Malcolm  Newey,  Richard  Boulton,  John
	Harrison,  Mark  Staples,  Mike  Gordon,  Brian Graham
	and   Michael  Norrish  at  the  Cambridge  University
	Computer   Lab;  Laurent  Thery  at  INRIA;  and  Mike
	Benjamin  at  INMOS  for  testing this work and taking
	the time to report back.

	Special  thanks  to  Paul  Curzon  for  being the most
	extensive  beta  tester and for providing many helpful
	(if difficult) suggestions.
	
	Thanks  also  to  Tom Melham for the interest shown by
	his   group   at   Glasgow,  and  for  providing  many
	interesting  conversations  on  interfaces and the HOL
	system in general.

2. tkaux

	TkHolWorkbench uses the "tkauxlib" by:

			    Kevin B. Kenny
			   GE Corporate R&D
			  kennykb@crd.ge.com


	Many  thanks  to  Kenny  and  GE  corporation for this
	package.  See  the  README  in  ./tkaux  for copyright
	information for this package.


3. jbindings

	TkHolWorkbench  also  uses  an altered version of
	the  emacs-style  bindings
	from  the  "jstools"  package  by  Jay Sekora. See the
	README  in  ./tkaux/hbindings.tcl  for  copyright  and
	usage information for this package.

4. TkTRS

	Richard   Boulton   wrote  the  "trs"  library,  which
	appears in hol88 but not in hol90.



