changeset 9921 | 7acefd99e748 |
parent 9767 | dc2ee9b2e065 |
child 10140 | ba9297b71897 |
--- a/doc-src/AxClass/generated/Group.tex Mon Sep 11 17:41:34 2000 +0200 +++ b/doc-src/AxClass/generated/Group.tex Mon Sep 11 17:54:22 2000 +0200 @@ -1,5 +1,6 @@ % \begin{isabellebody}% +\def\isabellecontext{Group}% % \isamarkupheader{Basic group theory} \isacommand{theory}\ Group\ {\isacharequal}\ Main{\isacharcolon}%