

PACKAGE HolSlave - run a HOL88 session as a slave process, with
facilities to call Classic ML from Tcl and vice versa.



