Index of /logic-TPTP-debian/debian
Name
Last modified
Size
Description
Parent Directory
-
rules
2010-08-18 13:25
325
changelog
2010-08-18 13:19
409
control
2010-06-17 11:21
4.0K
copyright
2010-06-10 13:06
34K
compat
2010-06-10 13:06
1
Apache/2.4.18 (Ubuntu) Server at src.seereason.com Port 80