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

 Name                                                Last modified      Size  Description
 Parent Directory                                                         -   
 EXAMPLE_PROBLEMS/                                   2017-09-01 02:01    -   
 PYTHON/                                             2017-09-01 02:01    -   
 CONTRIBUTORS                                        2017-07-01 15:53  796   
 CSSCPA.doc                                          2017-07-01 15:53  448   
 DONE                                                2017-07-01 15:53  5.2K  
 E-REMARKS                                           2017-07-01 15:53  3.8K  
 E-REMARKS.english                                   2017-07-01 15:53  1.2K  
 E_package_desc                                      2017-07-01 15:53  1.0K  
 NEWS                                                2017-07-07 14:38   29K  
 README                                              2017-07-07 14:38  8.0K  
 README.server                                       2017-07-01 15:53  2.6K  
 ReadMe                                              2017-07-01 15:53  1.4K  
 THINKME                                             2017-07-01 15:53  658   
 TODO                                                2017-07-01 15:53   11K  
 TPTP_SUBMISSION                                     2017-07-01 15:53  2.4K  
 TSTP_Syntax.txt                                     2017-07-01 15:53   10K  
 e-plop-grammar.txt                                  2017-07-01 15:53  2.2K  
 grammar.txt                                         2017-07-01 15:53  2.4K  
 hard_problems                                       2017-07-01 15:53  2.9K  
 pcl2.spec                                           2017-07-01 15:53  1.0K  
 eprover.pdf                                         2017-07-07 14:39  432K  Adobe Portable Document Format