This is a revision of Paul King's oz.sty macros for typesetting Object Z,
updated for LaTeX2e. Users should run ozguide.tex through \LaTeX\ (after
installation!) for details of usage.

Install by running \TeX\ on oz.ins and install oz.sty where \LaTeX\
can find it.