I tryed to use my Amiga 1200 Workbench 3.1 setup disks and than copying workbench.library to LIBS folder but does not work, I got message, something like "ramlib error".
Take Remus and winuae, dump a 3.1 rom (not the A4000T one, of course), extract the different modules, copy workbench.library to some place, transfer it to your floppy disks or your HD directly. It works on A4000T. I know it because I did exactly that (with a 3.1 rom from A500/2000). No ramlib errors.