problemas con importar libreria

[David]

Debería funcionar, aunque solo como recomendación es mejor que uses type en vez de language:

Código html:

<script type="text/javascript" src="libreria.js"></script>
 

¿Seguro que el archivo se llama así y lo colocas en el mismo directorio que tu HTML?.