The A4000T has a modified kickstart ROM which doesn't include workbench.library.
The A4000T has special install disks which hold the lib and install it in LIBS:, without it the machine will not boot to workbench. (or boot from the install disk)
Let me know if you can get hold of them, otherwise I might be able to help.