Files
-rwxr-xr-x | 286044 | root | root | /usr/bin/eground |
-rwxr-xr-x | 212192 | root | root | /usr/bin/epclextract |
-rwxr-xr-x | 3941 | root | root | /usr/bin/eproof |
-rwxr-xr-x | 957788 | root | root | /usr/bin/eprover |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/E-1.0.002 |
-rw-r--r-- | 18360 | root | root | /usr/share/doc/E-1.0.002/COPYING |
-rw-r--r-- | 6777 | root | root | /usr/share/doc/E-1.0.002/E-0.999.html |
-rw-r--r-- | 23896 | root | root | /usr/share/doc/E-1.0.002/NEWS |
-rw-r--r-- | 7967 | root | root | /usr/share/doc/E-1.0.002/README |
-rw-r--r-- | 2460 | root | root | /usr/share/doc/E-1.0.002/TPTP_SUBMISSION |
-rw-r--r-- | 10336 | root | root | /usr/share/doc/E-1.0.002/TSTP_Syntax.txt |
-rw-r--r-- | 339139 | root | root | /usr/share/doc/E-1.0.002/clib.ps |
-rw-r--r-- | 268658 | root | root | /usr/share/doc/E-1.0.002/eprover.pdf |
-rw-r--r-- | 2425 | root | root | /usr/share/doc/E-1.0.002/grammar.txt |
-rw-r--r-- | 4825 | root | root | /usr/share/doc/E-1.0.002/sample_proofs.html |
-rw-r--r-- | 16326 | root | root | /usr/share/doc/E-1.0.002/sample_proofs_tstp.html |