The Nuprl4.2 Tactic Manual (postscript) is simply a crude extraction from Jackson's full User and Reference Manual (postscript) of the material directly pertinent to tactics.