doc-src/AxClass/Group/document/root.tex

Removed ~10000 hack in function idx that can lead to inconsistencies
when unifying terms with a large number of abstractions.

\documentclass{article}

\begin{document}
--- dummy ---
\end{document}