Index of /~tptp/Seminars/MathsInTPTP/TPTP

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]ALG001-2.p26-Apr-2004 18:00 1.8K 
[TXT]ANA002-1.p26-Apr-2004 18:00 3.8K 
[TXT]ANA005-3.p26-Apr-2004 18:00 2.8K 
[TXT]GRA001-1.p26-Apr-2004 18:00 3.6K 
[   ]GRP004+0.ax26-Apr-2004 18:00 2.2K 
[   ]GRP004-0.ax26-Apr-2004 18:00 2.3K 
[   ]GRP039-1.p26-Apr-2004 18:00 3.8K 
[TXT]GRP039-1.p.h26-Apr-2004 18:00 1.4K 
[   ]GRP039-1.p.p26-Apr-2004 18:00 1.4K 
[   ]GRP049-1.p26-Apr-2004 18:00 2.1K 
[TXT]GRP128-2.006.p26-Apr-2004 18:00 5.8K 
[TXT]GRP194+1.p26-Apr-2004 18:00 2.7K 
[TXT]GRP194+1.p.h26-Apr-2004 18:00 1.4K 
[   ]GRP194+1.p.p26-Apr-2004 18:00 1.4K 
[   ]LAT005-3.p26-Apr-2004 18:00 2.2K 
[TXT]RNG028-1.p26-Apr-2004 18:00 1.4K 
[   ]SET055+1.p26-Apr-2004 18:00 1.5K 

Apache/2.2.15 (Fedora) Server at quoll.cs.miami.edu Port 80