kth-step
diff --git a/‎hol/policy_to_table/policy_test_cases/.hol/logs/auto_test1Theory‎
Lines changed: 0 additions & 3 deletions b/‎hol/policy_to_table/policy_test_cases/.hol/logs/auto_test1Theory‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎hol/policy_to_table/policy_test_cases/.hol/logs/auto_test2Theory‎
Lines changed: 0 additions & 3 deletions b/‎hol/policy_to_table/policy_test_cases/.hol/logs/auto_test2Theory‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎hol/policy_to_table/policy_test_cases/.hol/logs/auto_test_pipelineTheory‎
Lines changed: 0 additions & 6 deletions b/‎hol/policy_to_table/policy_test_cases/.hol/logs/auto_test_pipelineTheory‎
Lines changed: 0 additions & 6 deletions
diff --git a/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/auto_test1Script.sml.d‎
Lines changed: 0 additions & 1 deletion b/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/auto_test1Script.sml.d‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/auto_test2Script.sml.d‎
Lines changed: 0 additions & 1 deletion b/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/auto_test2Script.sml.d‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/auto_test_pipelineScript.sml.d‎
Lines changed: 0 additions & 1 deletion b/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/auto_test_pipelineScript.sml.d‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/fwd_proof.sml.d‎
Lines changed: 0 additions & 1 deletion b/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/fwd_proof.sml.d‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/lastmaker‎
Lines changed: 0 additions & 1 deletion b/‎hol/policy_to_table/policy_test_cases/.hol/make-deps/lastmaker‎
Lines changed: 0 additions & 1 deletion