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

- Moved abs_def to drule.ML
- elim_defs now takes a boolean argument which controls the automatic
expansion of theorems mentioning constants whose definitions are
eliminated

\documentclass{article}

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