This manual was last updated on 2012-11-19
The latest version can be found at: http://tla.mpi.nl/tools/tla-tools/ams/
Micha Hulsbosch (December 2008)
Francesca Bechis (July 2012)
Jeroen Geerts (October 2012)
Table of Contents