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


../
all_128_each_default_st_depth_14.tree              24-Jul-2006 01:21               36509
all_32_each_rct_medium_st_depth_14.tree            24-Jul-2006 01:21               21227
all_large_st_depth_14.tree                         24-Jul-2006 01:21               15749
all_max_st_depth_14.tree                           24-Jul-2006 01:21               13299