--- a/src/Doc/Isar_Ref/Symbols.thy Tue May 18 20:19:02 2021 +0200
+++ b/src/Doc/Isar_Ref/Symbols.thy Tue May 18 21:09:51 2021 +0200
@@ -32,7 +32,7 @@
\begin{center}
\begin{isabellebody}
- \input{syms}
+ @{show_symbols}
\end{isabellebody}
\end{center}
\<close>