Index of /src/axiom-query-2.0.17/data/production/proof_trees/

../
base_specific/                                     02-May-2024 07:23                   -
all_128_each_default.tree                          24-Jul-2006 01:21               36509
all_32_each_default.tree                           24-Jul-2006 01:21                7943
all_large.tree                                     24-Jul-2006 01:21               15749
all_max.tree                                       24-Jul-2006 01:21               13299
all_small.tree                                     24-Jul-2006 01:21                2191