Come non detto.
Ho provato a riscaricare il file jquery.tools.min.js e ora funziona! Grazie lo stesso!