                                TPTP Users List
                                ---------------

Below is  the list of  registered TPTP users,  whose email  addresses we  know. 
Registered users  receive notification of  TPTP patches,  and other information
relevant  to the TPTP.  If you would like to  have you name added to or removed
from this list, please let us know. Our addresses are :
    Geoff Sutcliffe   - geoff@cs.jcu.edu.au                (FAX: +61-77-814029)
or  Christian Suttner - suttner@informatik.tu-muenchen.de  (FAX: +49-89-526502)

Aharonian, Gregory        Alexander, Geoff          Astrachan, Owen          
Ayukawa, Kenichiro        Bachmair, Leo             Benanav, Dan             
Bibel, Wolfgang           Bledsoe, Woody            Bonacina, Maria Paola    
Bourda, Yolaine           Breviario, Giovanni       Bruening, Stefan         
Buffoli, Fabio            Bundy, Alan               Butler, Ralph            
By, Tomas                 Casanova, Asuncion        Castell, Thierry         
Chen, Wilfred             Chleq, Nicolas            Chu, Heng                
Chung, Jai-Hoon           Cohn, Anthony             Cok, David               
Collavizza, Helen         Contejean, Evelyne        Dahn, Ingo               
de Kogel, E.A.            De Waal, Andre            Degli Antoni, G          
DelVal, Alvaro            Dziadzka, Mirko           Elahi, John              
Esterlin, Albert          Filliatre, Jean-Christophe Fisch, Norbert           
Floegel, Andreas          Florea, Adina Magda       Fraus, Uli               
Fuchs, Matthias           Fujita, Masayuki          Garland, Stephen         
Geddis, Don               Goebel, Manfred           Groote, Jan Frisco       
Hackenberg, Klaus         Harrison, John            Hart, Allan              
Hartmann, Knut            Heuerding, Alain          Imlah, Bill              
Inoue, Katsumi            Inzaghi, Luisa            Janson, Sverker          
Jech, Thomas              Jonasson, Arndt           Jonasson, Arndt          
Jones, Kerry              Kalman, John              Kantrowitz, Mark         
Katsumi, Inoue            Kilger, Kurt              Kitson, Jeff             
Kitson, Ros               Klooster, Marnix          Kooshesh, Ali            
Lager, Torbjoern          Lee, Shie-Jue             Letz, Reinhold           
Lindenstraus, Naomi       Loveland, Don             Ludwig, Heiko            
Ludwig, Thomas            Lusk, Rusty               Lyon, Paul               
McCune, Bill              Meglicki, Zdzislaw        Mellouli, Taieb          
Moolenaar, Remco          Moser, Max                Narasimhan, Rakesh       
Neugebauer, Gerd          Operator, mrg             Pelletier, Francis       
Philou, Mathieu           Plaisted, David           Pollock, John            
Popineau, Fabrice         Posegga, Joachim          Potts, David             
Prehofer, Christian       Raptis, Dimitris          Roberts, Nancy           
Rusinowitch, Michael      Sakurai, Selichiro        Salzer, Gernot           
Sawada, Toshimi           Schubert, Len             Schwichtenberg, Helmut   
Segre, Alberto            Shewmaker, Mark           Slaney, John Keith       
Smareglia, Riccardo       Smith, Donald             Socher, Rolf             
Spencer, Bruce            Stickel, Mark             Sturgill, David          
Sutcliffe, Geoff          Suttner, Christian        Tveter, Don              
Uphoff, Heinz             Uribe, Tomas              Vanyo, Bill              
Veroff, Bob               Vigneron, Laurent         Vincent, Claude          
Voronkov, Andrei          Wachter, Klaus            Wallace, Kevin           
Wang, Caihua              Wang, Hanfei              Wang, T-C                
Wang, Xin                 Weibel, Trudy             White, Christopher       
Wilkerson, Ralph          Wong, Wai                 Wos, Larry               
Wrightson, Graham         Wu, Shenjun               Wunderwald, Jens         
Yemenis, Theodor          Zhang, Hantao             Zhu, Zheng               
