                                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          Andrews, Peter           
Astrachan, Owen           Ayukawa, Kenichiro        Bachmair, Leo            
Baumgartner, Peter        Bayerl, Stefan            Benanav, Dan             
Bibel, Wolfgang           Billon, J.P.              Bledsoe, Woody           
Bonacina, Maria Paola     Bourda, Yolaine           Breviario, Giovanni      
Bruza, Peter              Buffoli, Fabio            Bundy, Alan              
Butler, Ralph             By, Tomas                 Casanova, Asuncion       
Castell, Thierry          Chen, Ching-Jung          Chen, Wilfred            
Chleq, Nicolas            Christen, Michael         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            Dunker, Ulf               Elahi, John              
Esterlin, Albert          Fermueller, Chris         Filliatre, Jean-Christophe
Fisch, Norbert            Foo, Norman               Fraus, Uli               
Fuchs, Matthias           Furbach, Ulrich           Garland, Stephen         
Geddis, Don               Geisler, Tim              Giunchiglia, Fausto      
Goebel, Manfred           Groote, Jan Frisco        Hackenberg, Klaus        
Haehnle, Reiner           Harrison, John            Hart, Allan              
Hartmann, Knut            Heuerding, Alain          Hirokawa, Sachio         
Inzaghi, Luisa            Janson, Sverker           Jech, Thomas             
Jonasson, Arndt           Jones, Kerry              Kalman, John             
Kantrowitz, Mark          Katsumi, Inoue            Kilger, Kurt             
Kitson, Jeff              Klooster, Marnix          Kooshesh, Ali            
Lager, Torbjoern          Lee, Shie-Jue             Letz, Reinhold           
Lindenstraus, Naomi       Loveland, Don             Ludwig, Heiko            
Lusk, Rusty               Marques, Francisco        Masier, Frederico        
McCune, Bill              Meglicki, Zdzislaw        Mellouli, Taieb          
Menkens, Olaf             Moolenaar, Remco          Moser, Max               
Narasimhan, Rakesh        Nematollaah, Shiri        Neugebauer, Gerd         
Nieuwenhuis, Robert       Paramasivam, M.           Pelletier, Jeff          
Philou, Mathieu           Plaisted, David           Pollock, John            
Posegga, Joachim          Potts, David              Prehofer, Christian      
Prohle, Peter             Quaife, Art               Raptis, Dimitris         
Roberts, Nancy            Rusinowitch, Michael      Sais, Lakhdar            
Sakurai, Selichiro        Salzer, Gernot            Sawada, Toshimi          
Schaefer, Dorothea        Schubert, Len             Schulz, Stephan          
Schwichtenberg, Helmut    Segre, Alberto            Selman, Bart             
Shewmaker, Mark           Slaney, John Keith        Smareglia, Riccardo      
Smith, Donald             Socher, Rolf              Spencer, Bruce           
Stickel, Mark             Stolzenburg, Frieder      Sturgill, David          
Sutcliffe, Geoff          Suttner, Christian        Tveter, Don              
Uribe, Tomas              Van Gelder, Alan          Van Keulen, Maurice      
Vanyo, Bill               Veroff, Bob               Vigneron, Laurent        
Villafiorita, Adolfo      Vincent, Claude           Voronkov, Andrei         
Wachter, Klaus            Wallace, Kevin            Wang, Caihua             
Wang, Hanfei              Wang, T-C                 Wang, Xin                
Webber, Natalie           Weibel, Trudy             Weidenbach, Christoph    
Wilkerson, Ralph          Wong, Wai                 Wos, Larry               
Wrightson, Graham         Wunderwald, Jens          Zhang, Hantao            
Zhu, Zheng               
