---------------------------------------------------------------------------
                           Notice to Users

This is a Federal computer system and is the property of the United States
Government. It is for authorized use only. Users (authorized or unauthorized)
have no explicit or implicit expectation of privacy.

Any or all uses of this system and all files on this system may be intercepted,
monitored, recorded, copied, audited, inspected, and disclosed to authorized
site, Department of Energy, and law enforcement personnel, as well as
authorized officials of other agencies, both domestic and foreign. By using
this system, the user consents to such interception, monitoring, recording,
copying, auditing, inspection, and disclosure at the discretion of authorized
site or Department of Energy personnel.

Unauthorized or improper use of this system may result in administrative
disciplinary action and civil and criminal penalties. By continuing to use
this system you indicate your awareness of and consent to these terms and
conditions of use. LOG OFF IMMEDIATELY if you do not agree to the conditions
stated in this warning.

 ----------------------------------------------------------------------------



Icon  Name                       Last modified      Size  Description
[DIR] Parent Directory                                -   
[   ] steam.ps.Z                 17-Feb-1995 16:14  6.3K  
[   ] sax.ps.Z                   17-Feb-1995 16:14  7.1K  
[   ] robbins-rta.ps.gz          03-Mar-1997 22:35   29K  
[   ] robbins-jar-final.ps.gz    04-Mar-1997 10:19   45K  
[   ] robbins-harpers.ps         01-Mar-1997 21:09   74K  
[   ] robbins-d1.ps.gz           18-Dec-1996 12:51   42K  
[   ] otter305b-tptp200.txt.gz   18-Aug-1997 16:46   36K  
[   ] otter305-tptp210.txt.gz    12-Oct-1998 09:41   36K  
[   ] otter304-tptp121.txt.gz    27-Jun-1996 12:02   28K  
[   ] otter3-tptp111.txt.Z       12-Dec-1995 08:45   32K  
[DIR] ortholattice/              11-Feb-1998 12:08    -   
[   ] ortholattice-revised.ps.gz 14-Jan-1998 10:49   39K  
[   ] map-mccune.eps             30-Jul-1991 13:59   20K  
[   ] llncs.ps.gz                10-Feb-1997 15:14   28K  
[   ] llncs.dvi                  10-Feb-1997 15:14   19K  
[   ] java-proof-1.tar.gz        06-May-1997 11:00   92K  
[   ] index-jar-preprint.ps.gz   08-Apr-1997 16:16   69K  
[   ] incarnations.ps.gz         12-May-1997 16:35   37K  
[   ] first-order-g.tar          28-Aug-1998 12:58   63K  
[   ] burris-robbins-prf.ps.gz   17-Jan-1997 15:02   18K  
[   ] anldp.ps.Z                 17-Feb-1995 16:25   64K