Better English.

inf110-workspace-contents/tp5.mv

@@ -399,7 +399,7 @@ Definition mysterious_tm : program mysterious_tm_states :=
     | myst_tm_state_1, false => (myst_tm_state_2, symbol, Right) (* move right once *)
     | myst_tm_state_2, true => (myst_tm_state_2, symbol, Right) (* move right until we find a 0 *)
     | myst_tm_state_2, false => (myst_tm_state_3, symbol, Left) (* move left once *)
-    | myst_tm_state_3, true => (myst_tm_state_4, false, Left) (* replace 1 by 0 and move left *)
+    | myst_tm_state_3, true => (myst_tm_state_4, false, Left) (* replace 1 with 0 and move left *)
     | myst_tm_state_4, true => (myst_tm_state_4, symbol, Left) (* move left until we find a 0 *)
     | (myst_tm_state_3 | myst_tm_state_4), false => (myst_tm_state_5, symbol, Right) (* move right once *)
     | myst_tm_state_5, _ => (myst_tm_state_final, symbol, Left) (* move left once and terminate *)