
                       Become a Registered User
                       ========================

If you have not already done so, please register as a user by sending
a message consisting of your name, institution, and address to:

	goedel@compsci.bristol.ac.uk.

