Index of /LNF/linux/ubuntu/focal/LNFeprover/reloc/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms

 Name                                                                              Last modified      Size  Description
 Parent Directory                                                                                       -   
 BOO002-0.ax                                                                       2020-07-28 22:03  3.3K  
 BOO003-0.ax                                                                       2020-07-28 22:03  2.0K  
 BOO004-0.ax                                                                       2020-07-28 22:03  1.6K  
 CSR002+1.ax                                                                       2020-07-28 22:03  130K  
 GRP004-0.ax                                                                       2020-07-28 22:03  1.8K  
 HEN001-0.ax                                                                       2020-07-28 22:03  2.0K  
 MGT001+0.ax                                                                       2020-07-28 22:03  3.4K  
 MSC001-0.ax                                                                       2020-07-28 22:03  178K  
 MSC001-2.ax                                                                       2020-07-28 22:03   30K  
 SET004-0.ax                                                                       2020-07-28 22:03   18K  
 SET004-1.ax                                                                       2020-07-28 22:03  4.8K  
 SWB001+0.ax                                                                       2020-07-28 22:03  101K  
 SWB002+0.ax                                                                       2020-07-28 22:03   22K  
 SWC001-0.ax                                                                       2020-07-28 22:03   18K  
 SYN001-0.ax                                                                       2020-07-28 22:03   26K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80