diff --git a/reference-manual/Manual/Grind/EMatching.lean b/reference-manual/Manual/Grind/EMatching.lean
index a80ac418b..97edc799c 100644
--- a/reference-manual/Manual/Grind/EMatching.lean
+++ b/reference-manual/Manual/Grind/EMatching.lean
@@ -305,6 +305,8 @@ grindExt
 grindFunCC
 grindFwd
 grindGen
+grindHom
+grindHomPred
 grindInj
 grindIntro
 grindLR