\doc{Assigning and using names}

\head{2}{See}
\begin{itemize}
\item Assigning a \slink{naming}{name} to a fact
\item Using \slink{../misc/names}{names} in commands
\item Name \dlink{../misc/class}{classes}
\end{itemize}