You just need to find "workbench.library" and add it to a regular set of 3.1 OS disks as I recall. It might be easier than trying to locate an entire set of 4000T install disks. The addition of this file was the only difference to the 4000T workbench disk set due to the lack of space for the file in the A4000T 40.70 ROM set.
Jeff
