Index of /logic-TPTP-debian/debian

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]rules18-Aug-2010 13:25 325  
[ ]copyright10-Jun-2010 13:06 34K 
[ ]control17-Jun-2010 11:21 4.0K 
[ ]compat10-Jun-2010 13:06 1  
[ ]changelog18-Aug-2010 13:19 409  
Apache/2.2.22 (Ubuntu) Server at src.seereason.com Port 80