More typos in theorem proving tutorial
commit0621bdc6d1e6b5b89ac2ce74dc45a050b4948fcd
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 23 Mar 2015, 23:21 (12 years ago)
parent142f92f
docs/proofs/inductive.rst+1−1
@@ -75,7 +75,7 @@ To prove that ``plus n m = plus m n`` for all natural numbers ``n`` and
7575induction on ``n``, or vice versa. We can sketch an outline of a proof;
7676performing induction on ``n``, we have:
7777
78−- Property ``P`` is ``\backslashx => plus x m = plus m x``.
78+- Property ``P`` is ``\x => plus x m = plus m x``.
7979
8080- Show that ``P`` holds in the base case and inductive step:
8181