Hi,
My A1200+Apollo 1240 is packed away at the moment but I seem to remember that the 68040.library, for a real 68040 was less than 1K.
Only if you were using a 68060 accelerator - which required the use of a brand new lib to cover the fact that the 68060 wasn't fully compatible with earlier models.
The standard 040 library as shipped with 3.1 was just fine unless you plugged in one of those cards.
Or you could have been using MUlibs (which were awesome).