This manual was last updated in November 2014.
The latest version can be found at: http://tla.mpi.nl/tools/tla-tools/annex/
Francesca Bechis
Elisa Gorgaini
Table of Contents