Get the Crypto/MARS example to build once more.
Update to using wordsTheory.
Minor tweaks.
Case studies in Crypto verification: AES,IDEA,RC6,Twofish,Serpent,MARS, TEA. Also, CBC mode of operation.