Index of /logic-TPTP-debian/debian

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]changelog2010-08-18 13:19 409  
[   ]compat2010-06-10 13:06 1  
[   ]control2010-06-17 11:21 4.0K 
[   ]copyright2010-06-10 13:06 34K 
[   ]rules2010-08-18 13:25 325  

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