diff options
| -rw-r--r-- | proof_response_3.txt | 7 | ||||
| -rw-r--r-- | proof_response_4.txt | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/proof_response_3.txt b/proof_response_3.txt new file mode 100644 index 0000000..1b77fdd --- /dev/null +++ b/proof_response_3.txt @@ -0,0 +1,7 @@ + +Table I requires one more correction. In the third column header, "Action (gs)" should be replaced with "Action (g ★ s)". + +Algorithm 1 is typeset correctly. + +In the righthand side of the first line in equation (9), "(rs_0)^{-1} (r ★ s)" should be replaced with "(rs_0)^{-1} ★ (r ★ s)". + diff --git a/proof_response_4.txt b/proof_response_4.txt new file mode 100644 index 0000000..2f20e17 --- /dev/null +++ b/proof_response_4.txt @@ -0,0 +1 @@ +For the second row, third column, "M ★ s -> M ★ s" should be replaced with "M ★ s -> Ms". |