![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| E_DOWNLOAD/ | 2024-05-01 15:59 | - | |
| GROUNDING/ | 2024-05-01 16:00 | - | |
| IMAGES/ | 2024-05-01 16:00 | - | |
| c_templates.tar.gz | 2024-05-01 15:59 | 2.3K | |
| cade_trustee.html | 2024-05-01 15:59 | 2.8K | |
| cuba_impression.jpg | 2024-05-01 15:59 | 30K | |
| details.html | 2024-05-01 15:59 | 10K | |
| e-examples.html | 2024-05-01 15:59 | 10K | |
| e-setheo.html | 2024-05-01 15:59 | 8.5K | |
| e_1.0_on_TPTP3.5.0.txt | 2024-05-01 15:59 | 1.2M | |
| e_1.1_on_TPTP3.5.0.txt | 2024-05-01 15:59 | 589K | |
| e_1.2_on_TPTP4.0.1.txt | 2024-05-01 15:59 | 718K | |
| eprover.html | 2024-05-01 15:59 | 443 | |
| eprover.pdf | 2024-05-01 15:59 | 261K | |
| eprover.ps | 2024-05-01 15:59 | 427K | |
| eprover_old.html | 2024-05-01 15:59 | 12K | |
| ftp_steering.html | 2024-05-01 15:59 | 2.6K | |
| grounding.html | 2024-05-01 15:59 | 5.5K | |
| lop.syntax | 2024-05-01 15:59 | 18K | |
| lpar-ws.html | 2024-05-01 15:59 | 7.1K | |
| lpar-ws_cfp.ps | 2024-05-01 15:59 | 54K | |
| old_download.html | 2024-05-01 15:59 | 16K | |
| schulz_lparws_slides..> | 2024-05-01 15:59 | 23K | |
| schulz_lparws_slides.ps | 2024-05-01 15:59 | 76K | |
| trophies.html | 2024-05-01 15:59 | 4.3K | |