Index of /LNF/linux/ubuntu/focal/LNFhets-libs/reloc/lib/hets/hets-lib/SampleProofs

 Name                                                          Last modified      Size  Description
 Parent Directory                                                                   -   
 rain_Fact.hpf                                                 2022-09-29 11:35   87   
 family_Fact.hpf                                               2022-09-29 11:35   89   
 rain_minisat.hpf                                              2022-09-29 11:35   93   
 orders_leo.hpf                                                2022-09-29 11:35   94   
 orders_SPASS.hpf                                              2022-09-29 11:35   96   
 orders_Darwin.hpf                                             2022-09-29 11:35   97   
 orders_Leo-II.hpf                                             2022-09-29 11:35   97   
 orders_darwin.hpf                                             2022-09-29 11:35   97   
 orders_EProver.hpf                                            2022-09-29 11:35   98   
 orders_Vampire.hpf                                            2022-09-29 11:35   98   
 orders_eprover.hpf                                            2022-09-29 11:35   98   
 orders_darwin-non-fd.hpf                                      2022-09-29 11:35  104   
 rain_leo.hpf                                                  2022-09-29 11:35  193   
 SPASS.hpf                                                     2022-09-29 11:35  197   
 rain_SPASS.hpf                                                2022-09-29 11:35  197   
 rain_Darwin.hpf                                               2022-09-29 11:35  199   
 rain_Leo-II.hpf                                               2022-09-29 11:35  199   
 rain_darwin.hpf                                               2022-09-29 11:35  199   
 rain_EProver.hpf                                              2022-09-29 11:35  201   
 rain_Vampire.hpf                                              2022-09-29 11:35  201   
 rain_eprover.hpf                                              2022-09-29 11:35  201   
 rain_darwin-non-fd.hpf                                        2022-09-29 11:35  213   
 rain.dol                                                      2022-09-29 11:35  536   
 Family.dol                                                    2022-09-29 11:35  732   
 Orders.dol                                                    2022-09-29 11:35  896