                                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 email Geoff Sutcliffe at geoff@cs.miami.edu

Alexander, Geoff          Almulla, Mohammed         Andrews, Peter           
Astrachan, Owen           Bachmair, Leo             Baumgartner, Peter       
Bibel, Wolfgang           Bonacina, Maria Paola     Bornat, Richard          
Bos, Johan                Bundy, Alan               Claessen, Koen           
Clerin, Francoise         Cohn, Anthony             Cok, David               
Contejean, Evelyne        Countcham, Prakash        Dahn, Ingo               
Degli Antoni, Giovanni    DelVal, Alvaro            De Nivelle, Hans         
Denzinger, Joerg          Dershowitz, Nachum        Doligez, Damien          
Draeger, Joachim          Esterlin, Albert          Fermueller, Chris        
Foo, Norman               Fuchs, Alexander          Fuchs, Matthias          
Furbach, Ulrich           Garland, Stephen          Geddis, Don              
Geisler, Tim              Giunchiglia, Enrico       Giunchiglia, Fausto      
Greene, George            Grue, Klaus               Guthery, Scott           
Haehnle, Reiner           Halleck, John             Haroun, Paul             
Harrison, John            Hillenbrand, Thomas       Hinrichs, Timothy        
Horrocks, Ian             Horton, Joe               Hurd, Joe                
Janson, Sverker           Jech, Thomas              Kantrowitz, Mark         
Katsumi, Inoue            Keefe, Ken                Kitson, Jeff             
Kossey, Ivan              Kulik, Lars               Lager, Torbjoern         
Lee, Shie-Jue             Letz, Reinhold            Leustean, Laurentiu      
Loechner, Bernd           Loveland, Don             Lusk, Rusty              
Mahler, Daniel            Makarios, Selene          McCune, Bill             
Meng, Jia                 Newborn, Monty            Nieuwenhuis, Roberto     
Pastre, Dominique         Pelletier, Jeff           Philou, Mathieu          
Plaisted, David           Pollock, John             Price, David             
Prohle, Peter             Pudlak, Petr              Puzis, Yury              
Quaife, Art               Quigley, Claire           Riazanov, Alexandre      
Rusinowitch, Michael      Salzer, Gernot            Schubert, Len            
Schulz, Stephan           Schwichtenberg, Helmut    Sebastiani, Roberto      
Selman, Bart              Shasha, Feng              Slaney, John Keith       
Spencer, Bruce            Steel, Graham             Stenz, Gernot            
Stickel, Mark             Sutcliffe, Geoff          Suttner, Christian       
Tammet, Tanel             Tinelli, Cesare           Urban, Josef             
Uribe, Tomas              Valle Vargas, Jesus       Van Gelder, Allen        
Van Keulen, Maurice       Veroff, Bob               Vigneron, Laurent        
Voronkov, Andrei          Walden, Marvin            Weidenbach, Christoph    
Wilkerson, Ralph          Wos, Larry                Wrightson, Graham        
Yakowenko, Bill           Zhang, Hantao             Zhang, Jian              
Zhitomirskaja, Irina      Zimmer, Jurgen           
