TkHolWorkbench Future Work:

Improvements - Infrastructure

	- ML calls to Tcl should be synchronous.
	
Improvements - HolRichText
	- Tk-side Interface map editable
	
	- Rich Text for HOL90, probably using Richard Boulton's pretty
	printing work.
	
	- Subterm highlighting when using rich text
	(needs major changes to the rich text format)
	
Packages:
	ForwardProof
	NewType
	PrimRef (definition package)
	NewAxiom
	MutRec (mutually recursive types - based on Elsa's package)

