Index of /~mccune/old-ftp/www-misc

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]anldp.ps.Z17-Feb-1995 15:25 64K 
[   ]burris-robbins-prf.ps.gz17-Jan-1997 14:02 18K 
[   ]first-order-g.tar28-Aug-1998 11:58 63K 
[   ]incarnations.ps.gz12-May-1997 15:35 37K 
[   ]index-jar-preprint.ps.gz08-Apr-1997 15:16 69K 
[   ]java-proof-1.tar.gz06-May-1997 10:00 92K 
[   ]llncs.dvi10-Feb-1997 14:14 19K 
[   ]llncs.ps.gz10-Feb-1997 14:14 28K 
[   ]map-mccune.eps30-Jul-1991 12:59 20K 
[   ]ortholattice-revised.ps.gz14-Jan-1998 09:49 39K 
[DIR]ortholattice/11-Feb-1998 11:08 -  
[   ]otter3-tptp111.txt.Z12-Dec-1995 07:45 32K 
[   ]otter304-tptp121.txt.gz27-Jun-1996 11:02 28K 
[   ]otter305-tptp210.txt.gz12-Oct-1998 08:41 36K 
[   ]otter305b-tptp200.txt.gz18-Aug-1997 15:46 36K 
[   ]robbins-d1.ps.gz18-Dec-1996 11:51 42K 
[   ]robbins-harpers.ps01-Mar-1997 20:09 74K 
[   ]robbins-jar-final.ps.gz04-Mar-1997 09:19 45K 
[   ]robbins-rta.ps.gz03-Mar-1997 21:35 29K 
[   ]sax.ps.Z17-Feb-1995 15:14 7.1K 
[   ]steam.ps.Z17-Feb-1995 15:14 6.3K 

Apache/2.2.16 (Debian) DAV/2 SVN/1.6.12 PHP/5.3.3-7+squeeze14 with Suhosin-Patch mod_ssl/2.2.16 OpenSSL/0.9.8o Server at www.cs.unm.edu Port 80