Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!wuarchive!uunet!mcsun!hp4nl!svin02!wsinis04!devet
From: devet@wsinis04.info.win.tue.nl (Arjan de Vet)
Newsgroups: comp.text.tex
Subject: Wanted: oz.sty or zed.sty for Z specifications in LaTeX
Keywords: Z, LaTeX, oz.sty, zed.sty
Message-ID: <1957@svin02.info.win.tue.nl>
Date: 28 May 91 12:27:05 GMT
Sender: news@svin02.info.win.tue.nl
Reply-To: devet@info.win.tue.nl
Lines: 13


I read in a paper that there are two public domain style files for
typesetting Z specifications, called oz.sty (by Paul King) and zed.sty (by
J.M. Spivey). Does anybody know where I can get these files? Thanks in
advance.

Arjan

-- 
Arjan de Vet                         | E-mail : devet@win.tue.nl
Dept. of Math. and Computing Science | tel: + 31 40 473705
Eindhoven University of Technology   |      + 31 40 472733
the Netherlands                      | fax: + 31 40 436685