diff --git a/html/02_Proofs_with_Structure.html b/html/02_Proofs_with_Structure.html index 03f76d8c..80c470b9 100644 --- a/html/02_Proofs_with_Structure.html +++ b/html/02_Proofs_with_Structure.html @@ -1710,7 +1710,7 @@
Example adapted from Hammack, -Book of Proof, Section 7.3.
+Book of Proof, Section 7.3.Exercise taken from Hammack, -Book of Proof, Chapter 9.
+Book of Proof, Chapter 9.Example adapted from Hammack, -Book of Proof, Section 10.5.
+Book of Proof, Section 10.5.