Index of /~tptp/Seminars/ATPProgress/GIFS

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[IMG]RatingsGoingDown.GIF26-Apr-2004 17:59 18K 
[IMG]SPCs.GIF26-Apr-2004 17:59 17K 
[IMG]SystemsPCs.GIF26-Apr-2004 17:59 20K 
[IMG]THM_EPR_CNF-Thumb.GIF26-Apr-2004 17:59 2.1K 
[IMG]THM_EPR_CNF.GIF26-Apr-2004 17:59 9.5K 
[IMG]THM_EPR_FOF-Thumb.GIF26-Apr-2004 17:59 2.1K 
[IMG]THM_EPR_FOF.GIF26-Apr-2004 17:59 10K 
[IMG]THM_RFO_NEQ_CNF_HRN-Thumb.GIF26-Apr-2004 17:59 2.2K 
[IMG]THM_RFO_NEQ_CNF_HRN.GIF26-Apr-2004 17:59 10K 
[IMG]THM_RFO_NEQ_CNF_NHN-Thumb.GIF26-Apr-2004 17:59 2.1K 
[IMG]THM_RFO_NEQ_CNF_NHN.GIF26-Apr-2004 17:59 10K 
[IMG]THM_RFO_PEQ_CNF_NUE-Thumb.GIF26-Apr-2004 17:59 2.1K 
[IMG]THM_RFO_PEQ_CNF_NUE.GIF26-Apr-2004 17:59 10K 
[IMG]THM_RFO_PEQ_CNF_UEQ-Thumb.GIF26-Apr-2004 17:59 2.1K 
[IMG]THM_RFO_PEQ_CNF_UEQ.GIF26-Apr-2004 17:59 10K 
[IMG]THM_RFO_SEQ_CNF_HRN-Thumb.GIF26-Apr-2004 17:59 2.1K 
[IMG]THM_RFO_SEQ_CNF_HRN.GIF26-Apr-2004 17:59 10K 
[IMG]THM_RFO_SEQ_CNF_NHN-Thumb.GIF26-Apr-2004 17:59 2.2K 
[IMG]THM_RFO_SEQ_CNF_NHN.GIF26-Apr-2004 17:59 10K 

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