--- a/src/Doc/Main/Main_Doc.thy Sat Jun 25 13:21:27 2022 +0200
+++ b/src/Doc/Main/Main_Doc.thy Sat Jun 25 13:34:41 2022 +0200
@@ -156,6 +156,7 @@
\<^const>\<open>Fun.mono\<close> & \<^typeof>\<open>Fun.mono\<close>\\
\<^const>\<open>Fun.strict_mono_on\<close> & \<^typeof>\<open>Fun.strict_mono_on\<close>\\
\<^const>\<open>Fun.strict_mono\<close> & \<^typeof>\<open>Fun.strict_mono\<close>\\
+\<^const>\<open>Fun.antimono\<close> & \<^typeof>\<open>Fun.antimono\<close>\\
\<^const>\<open>Fun.fun_upd\<close> & \<^typeof>\<open>Fun.fun_upd\<close>\\
\end{tabular}