Biblioteca de manipulação de termos para o tamarin prover
