
                       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.

