The latest version can be found at:
http://tla.mpi.nl/tools/tla-tools/imdi_browser/
This manual was last updated on 2012-10-10
Nick Wood
Francesca Bechis
Jeroen Geerts
Table of Contents