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

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