Index of /tptp-debian/debian

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]tptp2x.docs2010-08-07 17:23 14  
[   ]tptp-doc.docs2010-08-07 17:15 394  
[   ]rules2010-08-07 17:15 178  
[   ]control2010-08-07 17:15 902  
[   ]tptp2x.links2010-08-07 17:03 46  
[   ]tptp2x.install2010-08-07 15:42 23  
[   ]tptp-scripts.install2010-08-07 15:42 24  
[   ]tptp-problems.install2010-08-07 15:42 25  
[   ]tptp-generators.install2010-08-07 15:42 27  
[   ]tptp-axioms.install2010-08-07 15:42 23  
[   ]copyright2010-08-07 14:32 5  
[   ]compat2010-08-07 14:32 2  
[   ]changelog2010-08-07 14:32 132  

Apache/2.4.18 (Ubuntu) Server at src.seereason.com Port 80