Index of /version/8.1.09_5.57.1355/html/proofs/tarski

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 1_1_1                                  2019-06-04 11:03  2.5K  
 1_1_2                                  2019-06-04 11:03  6.0K  
 1_2_1                                  2019-06-04 11:03  2.8K  
 1_2_2                                  2019-06-04 11:03  6.7K  
 3_1_1                                  2019-06-04 11:03  3.1K  
 3_1_2                                  2019-06-04 11:03  7.3K  
 4_1_1                                  2019-06-04 11:03  5.2K  
 5_1                                    2019-06-04 11:03  1.3K