kth-step
diff --git a/‎hol/bdd_auxScript.sml‎ ‎hol/policy_to_table/bdd_auxScript.sml‎hol/bdd_auxScript.sml renamed to hol/policy_to_table/bdd_auxScript.sml b/‎hol/bdd_auxScript.sml‎ ‎hol/policy_to_table/bdd_auxScript.sml‎hol/bdd_auxScript.sml renamed to hol/policy_to_table/bdd_auxScript.sml
diff --git a/‎hol/bdd_end_to_endScript.sml‎ ‎…policy_to_table/bdd_end_to_endScript.sml‎hol/bdd_end_to_endScript.sml renamed to hol/policy_to_table/bdd_end_to_endScript.sml b/‎hol/bdd_end_to_endScript.sml‎ ‎…policy_to_table/bdd_end_to_endScript.sml‎hol/bdd_end_to_endScript.sml renamed to hol/policy_to_table/bdd_end_to_endScript.sml
diff --git a/‎hol/bdd_genScript.sml‎ ‎hol/policy_to_table/bdd_genScript.sml‎hol/bdd_genScript.sml renamed to hol/policy_to_table/bdd_genScript.sml b/‎hol/bdd_genScript.sml‎ ‎hol/policy_to_table/bdd_genScript.sml‎hol/bdd_genScript.sml renamed to hol/policy_to_table/bdd_genScript.sml
diff --git a/‎hol/bdd_gen_correctScript.sml‎ ‎…olicy_to_table/bdd_gen_correctScript.sml‎hol/bdd_gen_correctScript.sml renamed to hol/policy_to_table/bdd_gen_correctScript.sml b/‎hol/bdd_gen_correctScript.sml‎ ‎…olicy_to_table/bdd_gen_correctScript.sml‎hol/bdd_gen_correctScript.sml renamed to hol/policy_to_table/bdd_gen_correctScript.sml
diff --git a/‎hol/bdd_gen_eliminateScript.sml‎ ‎…icy_to_table/bdd_gen_eliminateScript.sml‎hol/bdd_gen_eliminateScript.sml renamed to hol/policy_to_table/bdd_gen_eliminateScript.sml b/‎hol/bdd_gen_eliminateScript.sml‎ ‎…icy_to_table/bdd_gen_eliminateScript.sml‎hol/bdd_gen_eliminateScript.sml renamed to hol/policy_to_table/bdd_gen_eliminateScript.sml
diff --git a/‎hol/bdd_gen_mergeScript.sml‎ ‎…/policy_to_table/bdd_gen_mergeScript.sml‎hol/bdd_gen_mergeScript.sml renamed to hol/policy_to_table/bdd_gen_mergeScript.sml b/‎hol/bdd_gen_mergeScript.sml‎ ‎…/policy_to_table/bdd_gen_mergeScript.sml‎hol/bdd_gen_mergeScript.sml renamed to hol/policy_to_table/bdd_gen_mergeScript.sml
diff --git a/‎hol/bdd_gen_optimizationScript.sml‎ ‎…_to_table/bdd_gen_optimizationScript.sml‎hol/bdd_gen_optimizationScript.sml renamed to hol/policy_to_table/bdd_gen_optimizationScript.sml b/‎hol/bdd_gen_optimizationScript.sml‎ ‎…_to_table/bdd_gen_optimizationScript.sml‎hol/bdd_gen_optimizationScript.sml renamed to hol/policy_to_table/bdd_gen_optimizationScript.sml
diff --git a/‎hol/bdd_gen_orderScript.sml‎ ‎…/policy_to_table/bdd_gen_orderScript.sml‎hol/bdd_gen_orderScript.sml renamed to hol/policy_to_table/bdd_gen_orderScript.sml b/‎hol/bdd_gen_orderScript.sml‎ ‎…/policy_to_table/bdd_gen_orderScript.sml‎hol/bdd_gen_orderScript.sml renamed to hol/policy_to_table/bdd_gen_orderScript.sml
diff --git a/‎hol/bdd_gen_wfScript.sml‎ ‎hol/policy_to_table/bdd_gen_wfScript.sml‎hol/bdd_gen_wfScript.sml renamed to hol/policy_to_table/bdd_gen_wfScript.sml b/‎hol/bdd_gen_wfScript.sml‎ ‎hol/policy_to_table/bdd_gen_wfScript.sml‎hol/bdd_gen_wfScript.sml renamed to hol/policy_to_table/bdd_gen_wfScript.sml
diff --git a/‎hol/bdd_isomorphScript.sml‎ ‎…l/policy_to_table/bdd_isomorphScript.sml‎hol/bdd_isomorphScript.sml renamed to hol/policy_to_table/bdd_isomorphScript.sml b/‎hol/bdd_isomorphScript.sml‎ ‎…l/policy_to_table/bdd_isomorphScript.sml‎hol/bdd_isomorphScript.sml renamed to hol/policy_to_table/bdd_isomorphScript.sml