First commit
First commit
Consistência das listas - implementado (por testar)
Avaliação das invariantes da lista ligada
Merge with branch "david"