proper syntax category;

--- a/src/Doc/Implementation/Logic.thy	Sat Dec 04 12:38:32 2021 +0100
+++ b/src/Doc/Implementation/Logic.thy	Tue Dec 07 19:32:43 2021 +0100
@@ -491,7 +491,7 @@
     @{syntax_def term_const}:
       @{syntax name} (@{syntax embedded_ml}*) (@{syntax for_args})?
     ;
-    @{syntax_def type_const_fn}: @{ syntax term_const} @'=>' @{syntax embedded}
+    @{syntax_def term_const_fn}: @{ syntax term_const} @'=>' @{syntax embedded}
     ;
     @{syntax_def for_args}: @'for' (@{syntax embedded_ml}*)
   \<close>