An html document that informally describes the revised syntax and semantics for the module structure of TLA+. This is a preliminary draft; comments are welcome.
SRC Technical Note 1996-002