Bob Clarke at AT&T Bell Labs in Holmdel gave me your name as
a person to contact about the availability of gemini for the
University of Kansas.  We are running MULGA, and we'd like to
be able to use gemini to help with verification.  How should
we go about getting a copy?

Thanks for your time and help,
Joe Evans
Assistant Professor, Deparment of Electrical and Computer Engineering
Telecommunications & Information Sciences Laboratory
University of Kansas       Internet: evans@hamming.tisl.ukans.edu
Lawrence, KS 66045-2228                         [129.237.116.211]
(913) 864-4830                  Bitnet: evans%tisl@ukanvax.bitnet