http://www.research.digital.com/SRC/tla/
or obtained directly from
http://www.research.digital.com/SRC/tla/types.ps (Postscript)
http://www.research.digital.com/SRC/tla/types.dvi (DVI file)
http://www.research.digital.com/SRC/tla/all-types.tex (LaTeX source)
Leslie Lamport
%%% overflow headers %%%
Cc: rpg@cisr.anu.edu.au, bill@ora.on.ca, yozo@yuri.ipc.chiba-u.ac.jp,
piotr@cs.ualberta.ca, prank@cs.ut.ee, kerber@cs.uni-sb.de,
boyer@cli.com, jmc@sail.stanford.edu, mccune@mcs.anl.gov,
holmes@diamond.idbsu.edu, jt@linus.mitre.org, jackson@cs.cornell.edu,
kapur@cs.albany.edu, leivant@cs.indiana.edu,
Roman Matuszewski <romat@plearn.edu.pl>, peter@opus.geg.mot.com,
gore@iam.unibe.ch, yozo@aohakobe.ipc.chiba-u.ac.jp,
holmes@catseye.idbsu.edu, strecker@ares.informatik.uni-ulm.de,
bylinski@cs.ualberta.ca, filomat@plearn.edu.pl, amaz@ipipan.waw.pl,
tarlecki@mimuw.edu.pl, tarlecki@ipipan.waw.pl, spiez@impan.gov.pl,
tlr@sail.stanford.edu, P23879@gegpo11.geg.mot.com,
john.harrison@cl.cam.ac.uk, strecker@informatik.uni-ulm.de,
trybulec@cksr.ac.bialystok.pl, dahn@mathematik.hu-berlin.de
%%% end overflow headers %%%