@@ -75,7 +75,7 @@ To prove that ``plus n m = plus m n`` for all natural numbers ``n`` and
75induction on ``n``, or vice versa. We can sketch an outline of a proof;
75induction on ``n``, or vice versa. We can sketch an outline of a proof;
76performing induction on ``n``, we have:
76performing induction on ``n``, we have:
78−- Property ``P`` is ``\backslashx => plus x m = plus m x``.
78+- Property ``P`` is ``\x => plus x m = plus m x``.
80- Show that ``P`` holds in the base case and inductive step:
80- Show that ``P`` holds in the base case and inductive step: