Try to boot with a Workbench 2 floppy. When you get into the Workbench after loading then see if you notice an icon of the internal harddisc. If you do then it is formatted or at least prepared to format. If you only see the icon of the floppy then you need indeed to use HDtoolbox as mentionned before. Workbench 3.0 is normally supplied for free with an A1200, although Workbench 3.1 works too on a bare A1200. Try to lay your hands on one of those floppy-sets !!