From cd044ac0c460f88715603a17c952e1c0f61e4239 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 30 Jan 2022 13:35:12 +0100 Subject: [PATCH] include proper latexmkrc file. remove aux files from repo --- src/environments/groupthm/.latexmkrc | 6 + src/environments/groupthm/groupthm.aux | 108 ---- src/environments/groupthm/groupthm.glo | 0 src/environments/groupthm/groupthm.hd | 0 src/environments/groupthm/groupthm.idx | 844 ------------------------- src/environments/groupthm/groupthm.out | 29 - src/environments/groupthm/groupthm.sty | 742 ---------------------- src/environments/groupthm/groupthm.toc | 28 - 8 files changed, 6 insertions(+), 1751 deletions(-) create mode 100644 src/environments/groupthm/.latexmkrc delete mode 100644 src/environments/groupthm/groupthm.aux delete mode 100644 src/environments/groupthm/groupthm.glo delete mode 100644 src/environments/groupthm/groupthm.hd delete mode 100644 src/environments/groupthm/groupthm.idx delete mode 100644 src/environments/groupthm/groupthm.out delete mode 100644 src/environments/groupthm/groupthm.sty delete mode 100644 src/environments/groupthm/groupthm.toc diff --git a/src/environments/groupthm/.latexmkrc b/src/environments/groupthm/.latexmkrc new file mode 100644 index 0000000..c30d558 --- /dev/null +++ b/src/environments/groupthm/.latexmkrc @@ -0,0 +1,6 @@ +@default_files = ("groupthm.dtx"); +$makeindex = "makeindex -s gind.ist %O -o %D %S"; +$clean_ext .= ' glo'; +$clean_ext .= ' hd'; +$clean_full_ext .= ' sty'; +$emulate_aux = 1; diff --git a/src/environments/groupthm/groupthm.aux b/src/environments/groupthm/groupthm.aux deleted file mode 100644 index e7d9e93..0000000 --- a/src/environments/groupthm/groupthm.aux +++ /dev/null @@ -1,108 +0,0 @@ -\relax -\providecommand\hyper@newdestlabel[2]{} -\catcode 95\active -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\providecommand\HyField@AuxAddToCoFields[2]{} -\@writefile{toc}{\contentsline {section}{\numberline {1}Concepts}{3}{section.0.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Theorem groups}{3}{subsection.0.1.1}\protected@file@percent } -\newlabel{sec:theorem-groups}{{1.1}{3}{Theorem groups}{subsection.0.1.1}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Grouped theorems}{3}{subsection.0.1.2}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Theorem families}{3}{subsection.0.1.3}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}General notions}{4}{subsection.0.1.4}\protected@file@percent } -\newlabel{doc/function//NewFoo}{{1.4}{4}{General notions}{HD.1}{}} -\newlabel{doc/function//RenewFoo}{{1.4}{4}{General notions}{HD.1}{}} -\newlabel{doc/function//ProvideFoo}{{1.4}{4}{General notions}{HD.1}{}} -\newlabel{doc/function//DeclareFoo}{{1.4}{4}{General notions}{HD.1}{}} -\@writefile{toc}{\contentsline {section}{\numberline {2}Theorem groups}{5}{section.0.2}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Defining theorem groups}{5}{subsection.0.2.1}\protected@file@percent } -\newlabel{doc/function//NewTheoremGroup}{{2.1}{5}{Defining theorem groups}{HD.2}{}} -\newlabel{doc/function//RenewTheoremGroup}{{2.1}{5}{Defining theorem groups}{HD.2}{}} -\newlabel{doc/function//ProvideTheoremGroup}{{2.1}{5}{Defining theorem groups}{HD.2}{}} -\newlabel{doc/function//DeclareTheoremGroup}{{2.1}{5}{Defining theorem groups}{HD.2}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Controlling theorem group precedence}{6}{subsection.0.2.2}\protected@file@percent } -\newlabel{subsec:theorem-group-precedence}{{2.2}{6}{Controlling theorem group precedence}{subsection.0.2.2}{}} -\newlabel{doc/function//DeclareTheoremGroupRule}{{2.2}{6}{Controlling theorem group precedence}{HD.3}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Inheritance of theorem groups}{6}{subsection.0.2.3}\protected@file@percent } -\newlabel{doc/function//AddTheoremGroupParent}{{2.3}{6}{Inheritance of theorem groups}{HD.4}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Appending to theorem groups}{7}{subsection.0.2.4}\protected@file@percent } -\newlabel{doc/function//AppendToTheoremGroup}{{2.4}{7}{Appending to theorem groups}{HD.5}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Default theorem groups}{7}{subsection.0.2.5}\protected@file@percent } -\newlabel{subsec:default-theorem-groups}{{2.5}{7}{Default theorem groups}{subsection.0.2.5}{}} -\newlabel{doc/function//all}{{2.5}{7}{Default theorem groups}{HD.6}{}} -\newlabel{doc/function//starred}{{2.5}{7}{Default theorem groups}{HD.7}{}} -\newlabel{doc/function//unnumbered}{{2.5}{7}{Default theorem groups}{HD.8}{}} -\@writefile{toc}{\contentsline {section}{\numberline {3}Grouped Theorems}{8}{section.0.3}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Defining grouped theorems}{8}{subsection.0.3.1}\protected@file@percent } -\newlabel{doc/function//NewGroupedTheorem}{{3.1}{8}{Defining grouped theorems}{HD.9}{}} -\newlabel{doc/function//ProvideGroupedTheorem}{{3.1}{8}{Defining grouped theorems}{HD.9}{}} -\newlabel{doc/function//NewGroupedTheorem*}{{3.1}{8}{Defining grouped theorems}{HD.10}{}} -\newlabel{doc/function//ProvideGroupedTheorem*}{{3.1}{8}{Defining grouped theorems}{HD.10}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Defining families of grouped theorems}{9}{subsection.0.3.2}\protected@file@percent } -\newlabel{doc/function//NewGroupedTheoremFamily}{{3.2}{9}{Defining families of grouped theorems}{HD.11}{}} -\newlabel{doc/function//ProvideGroupedTheoremFamily}{{3.2}{9}{Defining families of grouped theorems}{HD.11}{}} -\newlabel{doc/function//NewGroupedTheoremFamily*}{{3.2}{9}{Defining families of grouped theorems}{HD.12}{}} -\newlabel{doc/function//ProvideGroupedTheoremFamily*}{{3.2}{9}{Defining families of grouped theorems}{HD.12}{}} -\newlabel{doc/function//AddTheoremToGroup}{{3.2}{9}{Defining families of grouped theorems}{HD.13}{}} -\newlabel{doc/function//NewGroupedTheoremFamilyOptions}{{3.2}{10}{Defining families of grouped theorems}{HD.14}{}} -\newlabel{doc/function//RenewGroupedTheoremFamilyOptions}{{3.2}{10}{Defining families of grouped theorems}{HD.14}{}} -\newlabel{doc/function//ProvideGroupedTheoremFamilyOptions}{{3.2}{10}{Defining families of grouped theorems}{HD.14}{}} -\newlabel{doc/function//DeclareGroupedTheoremFamilyOptions}{{3.2}{10}{Defining families of grouped theorems}{HD.14}{}} -\newlabel{doc/function//NewGroupedTheoremFamilyOptions*}{{3.2}{10}{Defining families of grouped theorems}{HD.15}{}} -\newlabel{doc/function//RenewGroupedTheoremFamilyOptions*}{{3.2}{10}{Defining families of grouped theorems}{HD.15}{}} -\newlabel{doc/function//ProvideGroupedTheoremFamilyOptions*}{{3.2}{10}{Defining families of grouped theorems}{HD.15}{}} -\newlabel{doc/function//DeclareGroupedTheoremFamilyOptions*}{{3.2}{10}{Defining families of grouped theorems}{HD.15}{}} -\@writefile{toc}{\contentsline {section}{\numberline {4}\LaTeX 3 interface}{10}{section.0.4}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Theorem groups}{11}{subsection.0.4.1}\protected@file@percent } -\newlabel{doc/function//groupthm/new/group:nn}{{4.1}{11}{Theorem groups}{HD.16}{}} -\newlabel{doc/function//groupthm/renew/group:nn}{{4.1}{11}{Theorem groups}{HD.16}{}} -\newlabel{doc/function//groupthm/provide/group:nn}{{4.1}{11}{Theorem groups}{HD.16}{}} -\newlabel{doc/function//groupthm/declare/group:nn}{{4.1}{11}{Theorem groups}{HD.16}{}} -\newlabel{doc/function//groupthm/new/group:nnnnn}{{4.1}{11}{Theorem groups}{HD.17}{}} -\newlabel{doc/function//groupthm/renew/group:nnnnn}{{4.1}{11}{Theorem groups}{HD.17}{}} -\newlabel{doc/function//groupthm/provide/group:nnnnn}{{4.1}{11}{Theorem groups}{HD.17}{}} -\newlabel{doc/function//groupthm/declare/group:nnnnn}{{4.1}{11}{Theorem groups}{HD.17}{}} -\newlabel{doc/function//groupthm/declare/group/rule:nnnn}{{4.1}{11}{Theorem groups}{HD.18}{}} -\newlabel{doc/function//groupthm/add/parent:nn}{{4.1}{11}{Theorem groups}{HD.19}{}} -\newlabel{doc/function//groupthm/append/to/group:nn}{{4.1}{11}{Theorem groups}{HD.20}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Grouped theorems}{11}{subsection.0.4.2}\protected@file@percent } -\newlabel{doc/function//groupthm/new/theorem:nnnn}{{4.2}{11}{Grouped theorems}{HD.21}{}} -\newlabel{doc/function//groupthm/provide/theorem:nnnn}{{4.2}{11}{Grouped theorems}{HD.21}{}} -\newlabel{doc/function//groupthm/new/theorem:nnn}{{4.2}{11}{Grouped theorems}{HD.22}{}} -\newlabel{doc/function//groupthm/provide/theorem:nnn}{{4.2}{11}{Grouped theorems}{HD.22}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Theorem families}{12}{subsection.0.4.3}\protected@file@percent } -\newlabel{doc/function//groupthm/new/family:nnn}{{4.3}{12}{Theorem families}{HD.23}{}} -\newlabel{doc/function//groupthm/provide/family:nnn}{{4.3}{12}{Theorem families}{HD.23}{}} -\newlabel{doc/function//groupthm/new/family:nnnnn}{{4.3}{12}{Theorem families}{HD.24}{}} -\newlabel{doc/function//groupthm/provide/family:nnnnn}{{4.3}{12}{Theorem families}{HD.24}{}} -\newlabel{doc/function//groupthm/add/theorem/to/group:n}{{4.3}{12}{Theorem families}{HD.25}{}} -\newlabel{doc/function//groupthm/new/family/options:nnnn}{{}{12}{}{HD.26}{}} -\newlabel{doc/function//groupthm/renew/family/options:nnnn}{{}{12}{}{HD.26}{}} -\newlabel{doc/function//groupthm/provide/family/options:nnnn}{{}{12}{}{HD.26}{}} -\newlabel{doc/function//groupthm/declare/family/options:nnnn}{{}{12}{}{HD.26}{}} -\@writefile{toc}{\contentsline {section}{\numberline {5}\pkg {groupthm} implementation}{12}{section.0.5}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Dependencies}{12}{subsection.0.5.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Messages}{13}{subsection.0.5.2}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Allocation and initialization}{14}{subsection.0.5.3}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Key interface}{15}{subsection.0.5.4}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Theorem groups}{17}{subsection.0.5.5}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.6}Iterating over powersets}{27}{subsection.0.5.6}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.7}Grouped Theorems}{28}{subsection.0.5.7}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.8}Theorem families}{31}{subsection.0.5.8}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.9}Theorem family options}{33}{subsection.0.5.9}\protected@file@percent } -\providecommand\HD@SetMacroIndent[1]{} -\HD@SetMacroIndent{742} -\gdef \@abspage@last{35} diff --git a/src/environments/groupthm/groupthm.glo b/src/environments/groupthm/groupthm.glo deleted file mode 100644 index e69de29..0000000 diff --git a/src/environments/groupthm/groupthm.hd b/src/environments/groupthm/groupthm.hd deleted file mode 100644 index e69de29..0000000 diff --git a/src/environments/groupthm/groupthm.idx b/src/environments/groupthm/groupthm.idx deleted file mode 100644 index 56a28b6..0000000 --- a/src/environments/groupthm/groupthm.idx +++ /dev/null @@ -1,844 +0,0 @@ -\indexentry{Foo={\verbatim@font !\verb*&!\Foo&}|hdclindex{0}{usage}}{4} -\indexentry{NewFoo={\verbatim@font !\verb*&!\NewFoo&}|hdclindex{1}{usage}}{4} -\indexentry{RenewFoo={\verbatim@font !\verb*&!\RenewFoo&}|hdclindex{1}{usage}}{4} -\indexentry{ProvideFoo={\verbatim@font !\verb*&!\ProvideFoo&}|hdclindex{1}{usage}}{4} -\indexentry{DeclareFoo={\verbatim@font !\verb*&!\DeclareFoo&}|hdclindex{1}{usage}}{4} -\indexentry{NewFoo={\verbatim@font !\verb*&!\NewFoo&}|hdclindex{1}{usage}}{4} -\indexentry{RenewFoo={\verbatim@font !\verb*&!\RenewFoo&}|hdclindex{1}{usage}}{4} -\indexentry{ProvideFoo={\verbatim@font !\verb*&!\ProvideFoo&}|hdclindex{1}{usage}}{4} -\indexentry{DeclareFoo={\verbatim@font !\verb*&!\DeclareFoo&}|hdclindex{1}{usage}}{4} -\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{1}{usage}}{4} -\indexentry{newtheorem={\verbatim@font !\verb*&!\newtheorem&}|hdclindex{1}{usage}}{4} -\indexentry{newtheorem={\verbatim@font !\verb*&!\newtheorem&}|hdclindex{1}{usage}}{4} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{1}{usage}}{5} -\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{1}{usage}}{5} -\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{2}{usage}}{5} -\indexentry{fun commands:=\pkg{fun} commands:>fun:n={\verbatim@font !\verb*&!\fun:n&}|hdclindex{2}{usage}}{5} -\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{2}{usage}}{5} -\indexentry{RenewTheoremGroup={\verbatim@font !\verb*&!\RenewTheoremGroup&}|hdclindex{2}{usage}}{5} -\indexentry{ProvideTheoremGroup={\verbatim@font !\verb*&!\ProvideTheoremGroup&}|hdclindex{2}{usage}}{5} -\indexentry{DeclareTheoremGroup={\verbatim@font !\verb*&!\DeclareTheoremGroup&}|hdclindex{2}{usage}}{5} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{3}{usage}}{6} -\indexentry{DeclareHookRule={\verbatim@font !\verb*&!\DeclareHookRule&}|hdclindex{3}{usage}}{6} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{3}{usage}}{6} -\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{4}{usage}}{6} -\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{4}{usage}}{6} -\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{5}{usage}}{7} -\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{5}{usage}}{7} -\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{5}{usage}}{7} -\indexentry{all={\verbatim@font !\verb*&all&}|hdclindex{6}{usage}}{7} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{7}{usage}}{7} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{7}{usage}}{7} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{7}{usage}}{7} -\indexentry{starred={\verbatim@font !\verb*&starred&}|hdclindex{7}{usage}}{7} -\indexentry{starred={\verbatim@font !\verb*&!\starred&}|hdclindex{8}{usage}}{7} -\indexentry{unnumbered={\verbatim@font !\verb*&unnumbered&}|hdclindex{8}{usage}}{7} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{9}{usage}}{8} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{9}{usage}}{8} -\indexentry{ProvideGroupedTheorem={\verbatim@font !\verb*&!\ProvideGroupedTheorem&}|hdclindex{9}{usage}}{8} -\indexentry{NewGroupedTheorem*={\verbatim@font !\verb*&!\NewGroupedTheorem*&}|hdclindex{10}{usage}}{8} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{10}{usage}}{8} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{10}{usage}}{8} -\indexentry{NewGroupedTheorem*={\verbatim@font !\verb*&!\NewGroupedTheorem*&}|hdclindex{10}{usage}}{8} -\indexentry{ProvideGroupedTheorem*={\verbatim@font !\verb*&!\ProvideGroupedTheorem*&}|hdclindex{10}{usage}}{8} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{11}{usage}}{9} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{11}{usage}}{9} -\indexentry{ProvideGroupedTheoremFamily={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamily&}|hdclindex{11}{usage}}{9} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{11}{usage}}{9} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{11}{usage}}{9} -\indexentry{NewGroupedTheoremFamily*={\verbatim@font !\verb*&!\NewGroupedTheoremFamily*&}|hdclindex{12}{usage}}{9} -\indexentry{ProvideGroupedTheoremFamily*={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamily*&}|hdclindex{12}{usage}}{9} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{12}{usage}}{9} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{12}{usage}}{9} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{13}{usage}}{9} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{13}{usage}}{9} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{13}{usage}}{9} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10} -\indexentry{RenewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\RenewGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10} -\indexentry{ProvideGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10} -\indexentry{DeclareGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\DeclareGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{14}{usage}}{10} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{14}{usage}}{10} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{14}{usage}}{10} -\indexentry{NewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10} -\indexentry{NewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10} -\indexentry{RenewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\RenewGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10} -\indexentry{ProvideGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10} -\indexentry{DeclareGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\DeclareGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{15}{usage}}{10} -\indexentry{NewGroupedTheoremFamily*={\verbatim@font !\verb*&!\NewGroupedTheoremFamily*&}|hdclindex{15}{usage}}{10} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11} -\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{16}{usage}}{11} -\indexentry{RenewTheoremGroup={\verbatim@font !\verb*&!\RenewTheoremGroup&}|hdclindex{16}{usage}}{11} -\indexentry{ProvideTheoremGroup={\verbatim@font !\verb*&!\ProvideTheoremGroup&}|hdclindex{16}{usage}}{11} -\indexentry{DeclareTheoremGroup={\verbatim@font !\verb*&!\DeclareTheoremGroup&}|hdclindex{16}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nn&}|hdclindex{17}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{18}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{18}{usage}}{11} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{18}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{19}{usage}}{11} -\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{19}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{19}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_append_to_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&append&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{20}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_append_to_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&append&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{20}{usage}}{11} -\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{20}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{21}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{21}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&theorem:nnnn&}|hdclindex{21}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnn&}|hdclindex{22}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnn&}|hdclindex{22}{usage}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&theorem:nnn&}|hdclindex{22}{usage}}{11} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{22}{usage}}{11} -\indexentry{RequirePackage={\verbatim@font !\verb*&!\RequirePackage&}|hdclindex{29}{}}{3} -\indexentry{RequirePackage={\verbatim@font !\verb*&!\RequirePackage&}|hdclindex{30}{}}{4} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_declare_theorem:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&declare&!\_!\verb*&theorem:nn&}|hdclindex{31}{main}}{5} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{32}{}}{5} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{34}{}}{7} -\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{35}{}}{8} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{37}{}}{10} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{38}{main}}{11} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{23}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{23}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family:nnn&}|hdclindex{23}{usage}}{12} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{23}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnnnn&}|hdclindex{24}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnnnn&}|hdclindex{24}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family:nnnnn&}|hdclindex{24}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{24}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{25}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{25}{usage}}{12} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{25}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{26}{usage}}{12} -\indexentry{NewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions*&}|hdclindex{26}{usage}}{12} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_declare_theorem:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&declare&!\_!\verb*&theorem:nn&}|hdclindex{31}{usage}}{12} -\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{31}{usage}}{12} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{39}{}}{11} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{41}{}}{13} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{41}{}}{13} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{43}{}}{15} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{45}{}}{17} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{45}{}}{17} -\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnn&}|hdclindex{47}{}}{19} -\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{49}{}}{21} -\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnn&}|hdclindex{51}{}}{23} -\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{53}{}}{25} -\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnn&}|hdclindex{55}{}}{27} -\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{57}{}}{29} -\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnn&}|hdclindex{59}{}}{31} -\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{62}{}}{34} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{38}{usage}}{13} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{38}{usage}}{13} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{46}{usage}}{13} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{50}{usage}}{13} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnnnn&}|hdclindex{54}{usage}}{13} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{58}{usage}}{13} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nn&}|hdclindex{58}{usage}}{13} -\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnnn&}|hdclindex{64}{}}{36} -\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{66}{}}{38} -\indexentry{msg commands:=\pkg{msg} commands:>msg_see_documentation_text:n={\verbatim@font !\verb*&!\msg&!\_!\verb*&see&!\_!\verb*&documentation&!\_!\verb*&text:n&}|hdclindex{73}{}}{45} -\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{75}{}}{47} -\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{76}{}}{48} -\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{77}{}}{49} -\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{78}{}}{50} -\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{79}{}}{51} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{80}{main}}{52} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{81}{}}{52} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{81}{}}{52} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{82}{main}}{53} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{82}{main}}{53} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{82}{main}}{53} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{82}{main}}{53} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{82}{main}}{53} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{82}{main}}{53} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{82}{main}}{53} -\indexentry{bool commands:=\pkg{bool} commands:>bool_new:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&new:N&}|hdclindex{83}{}}{53} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{84}{}}{54} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{85}{}}{55} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{86}{}}{56} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{87}{}}{57} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{88}{}}{58} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{89}{}}{59} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{90}{main}}{60} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{90}{main}}{60} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{90}{main}}{60} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{90}{main}}{60} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{90}{main}}{60} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{90}{main}}{60} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{90}{main}}{60} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{91}{}}{60} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{92}{}}{61} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{93}{}}{62} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{94}{}}{63} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{95}{}}{64} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{96}{}}{65} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{97}{main}}{66} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{98}{}}{66} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nn&}|hdclindex{63}{usage}}{14} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{80}{usage}}{14} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{80}{usage}}{14} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{99}{main}}{67} -\indexentry{bool commands:=\pkg{bool} commands:>bool_new:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&new:N&}|hdclindex{100}{}}{67} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{101}{main}}{68} -\indexentry{int commands:=\pkg{int} commands:>int_new:N={\verbatim@font !\verb*&!\int&!\_!\verb*&new:N&}|hdclindex{102}{}}{68} -\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{103}{}}{69} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{105}{}}{71} -\indexentry{tl commands:=\pkg{tl} commands:>empty_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&empty&!\_!\verb*&tl&}|hdclindex{106}{}}{72} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{107}{}}{73} -\indexentry{tl commands:=\pkg{tl} commands:>empty_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&empty&!\_!\verb*&tl&}|hdclindex{108}{}}{74} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{110}{}}{76} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{113}{}}{79} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{116}{}}{82} -\indexentry{str commands:=\pkg{str} commands:>str_use:N={\verbatim@font !\verb*&!\str&!\_!\verb*&use:N&}|hdclindex{116}{}}{82} -\indexentry{keys commands:=\pkg{keys} commands:>keys_key_str={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&key&!\_!\verb*&str&}|hdclindex{116}{}}{82} -\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{118}{}}{84} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{120}{}}{86} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{121}{}}{87} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{122}{}}{88} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{124}{}}{90} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{126}{}}{92} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{129}{}}{95} -\indexentry{str commands:=\pkg{str} commands:>str_use:N={\verbatim@font !\verb*&!\str&!\_!\verb*&use:N&}|hdclindex{129}{}}{95} -\indexentry{keys commands:=\pkg{keys} commands:>keys_key_str={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&key&!\_!\verb*&str&}|hdclindex{129}{}}{95} -\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{131}{}}{97} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{133}{}}{99} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{99}{usage}}{15} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{134}{}}{100} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{135}{}}{101} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{137}{}}{103} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{139}{}}{105} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{142}{}}{108} -\indexentry{str commands:=\pkg{str} commands:>str_use:N={\verbatim@font !\verb*&!\str&!\_!\verb*&use:N&}|hdclindex{142}{}}{108} -\indexentry{keys commands:=\pkg{keys} commands:>keys_key_str={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&key&!\_!\verb*&str&}|hdclindex{142}{}}{108} -\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{144}{}}{110} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{146}{}}{112} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{149}{}}{115} -\indexentry{str commands:=\pkg{str} commands:>str_use:N={\verbatim@font !\verb*&!\str&!\_!\verb*&use:N&}|hdclindex{149}{}}{115} -\indexentry{keys commands:=\pkg{keys} commands:>keys_key_str={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&key&!\_!\verb*&str&}|hdclindex{149}{}}{115} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{151}{main}}{117} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{152}{}}{117} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{154}{}}{119} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{156}{}}{121} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{158}{}}{123} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{160}{}}{125} -\indexentry{tl commands:=\pkg{tl} commands:>tl_if_eq:NnTF={\verbatim@font !\verb*&!\tl&!\_!\verb*&if&!\_!\verb*&eq:NnTF&}|hdclindex{161}{}}{126} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{161}{}}{126} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{161}{}}{126} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{163}{}}{128} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{163}{}}{128} -\indexentry{text commands:=\pkg{text} commands:>text_titlecase_first:n={\verbatim@font !\verb*&!\text&!\_!\verb*&titlecase&!\_!\verb*&first:n&}|hdclindex{165}{}}{130} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set_eq:NN={\verbatim@font !\verb*&!\tl&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{169}{}}{134} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{169}{}}{134} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{169}{}}{134} -\indexentry{bool commands:=\pkg{bool} commands:>bool_set_eq:NN={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{171}{}}{136} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{171}{}}{136} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{171}{}}{136} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set_eq:NN={\verbatim@font !\verb*&!\tl&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{172}{}}{137} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{172}{}}{137} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{172}{}}{137} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set_eq:NN={\verbatim@font !\verb*&!\tl&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{173}{}}{138} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{173}{}}{138} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{173}{}}{138} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{174}{}}{139} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{174}{}}{139} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{174}{}}{139} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{151}{usage}}{16} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{151}{usage}}{16} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{175}{}}{140} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{175}{}}{140} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{175}{}}{140} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{176}{}}{141} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{176}{}}{141} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{176}{}}{141} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{178}{main}}{143} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{179}{}}{143} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{181}{}}{145} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{183}{}}{147} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_remove_from_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&remove&!\_!\verb*&from&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{187}{main}}{151} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{188}{}}{151} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{190}{}}{153} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{192}{}}{155} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_sort_hook:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&sort&!\_!\verb*&hook:n&}|hdclindex{196}{main}}{159} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{178}{usage}}{17} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_remove_from_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&remove&!\_!\verb*&from&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{187}{usage}}{17} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{197}{}}{159} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{199}{}}{161} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{202}{}}{164} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{202}{}}{164} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_sort_group_names:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&sort&!\_!\verb*&group&!\_!\verb*&names:&}|hdclindex{205}{main}}{167} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{206}{}}{167} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{208}{}}{169} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{209}{}}{170} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{209}{}}{170} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_sort_hook:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&sort&!\_!\verb*&hook:n&}|hdclindex{209}{}}{170} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{210}{}}{171} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{210}{}}{171} -\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{211}{}}{172} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_group:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&group:nnnnn&}|hdclindex{213}{main}}{174} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{214}{}}{174} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_group__!\meta{theorem group}:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&group&!\_!\_!\verb*&!\meta{theorem group}:&}|hdclindex{215}{main}}{176} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{216}{}}{176} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{218}{}}{178} -\indexentry{tl commands:=\pkg{tl} commands:>tl_put_left:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{220}{}}{180} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{220}{}}{180} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{222}{}}{182} -\indexentry{tl commands:=\pkg{tl} commands:>tl_put_right:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{224}{}}{184} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{224}{}}{184} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{226}{}}{186} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{228}{}}{188} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{228}{}}{188} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_sort_hook:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&sort&!\_!\verb*&hook:n&}|hdclindex{196}{usage}}{18} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{196}{usage}}{18} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{205}{usage}}{18} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_group:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&group:nnnnn&}|hdclindex{213}{usage}}{18} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{230}{}}{190} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{232}{}}{192} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{232}{}}{192} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{235}{}}{195} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_parents_group__!\meta{theorem group}__clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&parents&!\_!\verb*&group&!\_!\_!\verb*&!\meta{theorem group}&!\_!\_!\verb*&clist&}|hdclindex{235}{main}}{196} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{236}{}}{196} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{237}{}}{197} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{238}{}}{198} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{239}{}}{199} -\indexentry{clist commands:=\pkg{clist} commands:>clist_gput_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&gput&!\_!\verb*&left:Nn&}|hdclindex{240}{}}{200} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{240}{}}{200} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_undefine_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&undefine&!\_!\verb*&group:n&}|hdclindex{242}{main}}{202} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{243}{}}{202} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{245}{}}{204} -\indexentry{cs commands:=\pkg{cs} commands:>cs_undefine:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&undefine:N&}|hdclindex{246}{}}{205} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{247}{}}{206} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{248}{}}{207} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{249}{}}{208} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{250}{}}{209} -\indexentry{clist commands:=\pkg{clist} commands:>clist_gremove_all:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&gremove&!\_!\verb*&all:Nn&}|hdclindex{251}{}}{210} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{251}{}}{210} -\indexentry{cs commands:=\pkg{cs} commands:>cs_undefine:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&undefine:N&}|hdclindex{252}{}}{211} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{253}{}}{212} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{255}{}}{214} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{258}{}}{217} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{260}{}}{219} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_undefine_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&undefine&!\_!\verb*&group:n&}|hdclindex{242}{usage}}{19} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{263}{}}{222} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{265}{}}{224} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{268}{}}{227} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{270}{}}{229} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{273}{}}{232} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{275}{}}{234} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_remove_from_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&remove&!\_!\verb*&from&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{278}{}}{237} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnNNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnNNNn&}|hdclindex{280}{main}}{239} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{281}{}}{239} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnNNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnNNNn&}|hdclindex{280}{usage}}{20} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{283}{}}{241} -\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{285}{}}{243} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{287}{}}{245} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{290}{}}{248} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnnnn&}|hdclindex{291}{}}{249} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{294}{}}{252} -\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{296}{}}{254} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{298}{}}{256} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{301}{}}{259} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnnnn&}|hdclindex{302}{}}{260} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{305}{}}{263} -\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{308}{}}{266} -\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{309}{}}{267} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{311}{}}{269} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{314}{}}{272} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{315}{}}{273} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{318}{}}{276} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{320}{}}{278} -\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{322}{}}{280} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{325}{}}{283} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{328}{}}{286} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{332}{}}{290} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{333}{main}}{291} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{334}{}}{291} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{336}{}}{293} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{336}{}}{293} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Nn&}|hdclindex{338}{}}{295} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnNNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnNNNn&}|hdclindex{340}{}}{297} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:nN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:nN&}|hdclindex{350}{}}{307} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{350}{}}{307} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{352}{main}}{309} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nnnnn&}|hdclindex{352}{main}}{309} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nnnnn&}|hdclindex{352}{main}}{309} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nnnnn&}|hdclindex{352}{main}}{309} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{353}{}}{309} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_undefine_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&undefine&!\_!\verb*&group:n&}|hdclindex{357}{}}{313} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_group:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&group:nnnnn&}|hdclindex{358}{}}{314} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{333}{usage}}{22} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnNNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnNNNn&}|hdclindex{333}{usage}}{22} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{333}{usage}}{22} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nnnnn&}|hdclindex{333}{usage}}{22} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nnnnn&}|hdclindex{333}{usage}}{22} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nnnnn&}|hdclindex{333}{usage}}{22} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnnNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnnNNn&}|hdclindex{333}{usage}}{22} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{361}{}}{317} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{362}{}}{318} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{363}{}}{319} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{364}{}}{320} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{365}{main}}{321} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{366}{}}{321} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{368}{}}{323} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{368}{}}{323} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Nn&}|hdclindex{370}{}}{325} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:nN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:nN&}|hdclindex{375}{}}{330} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{375}{}}{330} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{377}{main}}{332} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nn&}|hdclindex{377}{main}}{332} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nn&}|hdclindex{377}{main}}{332} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nn&}|hdclindex{377}{main}}{332} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{378}{}}{332} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{382}{}}{336} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{383}{}}{337} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{385}{}}{339} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{386}{}}{340} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{387}{}}{341} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{388}{}}{342} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{390}{}}{344} -\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{391}{}}{345} -\indexentry{LaTeX={\verbatim@font !\verb*&!\LaTeX&}|hdclindex{394}{}}{348} -\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{396}{}}{350} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{396}{}}{350} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{396}{}}{350} -\indexentry{cs={\verbatim@font !\verb*&!\cs&}|hdclindex{398}{}}{352} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{364}{usage}}{23} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{365}{usage}}{23} -\indexentry{declarator={\verbatim@font !\verb*&!\declarator&}|hdclindex{365}{usage}}{23} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{377}{usage}}{23} -\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{400}{}}{354} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{401}{}}{355} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{401}{}}{355} -\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{403}{}}{357} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{405}{}}{359} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{405}{}}{359} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{406}{main}}{360} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{407}{}}{360} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{409}{}}{362} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{409}{}}{362} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Nn&}|hdclindex{411}{}}{364} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{411}{}}{364} -\indexentry{text commands:=\pkg{text} commands:>text_titlecase_first:n={\verbatim@font !\verb*&!\text&!\_!\verb*&titlecase&!\_!\verb*&first:n&}|hdclindex{411}{}}{364} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{412}{}}{365} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:nN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:nN&}|hdclindex{414}{}}{367} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{414}{}}{367} -\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{416}{main}}{369} -\indexentry{RenewTheoremGroup={\verbatim@font !\verb*&!\RenewTheoremGroup&}|hdclindex{416}{main}}{369} -\indexentry{ProvideTheoremGroup={\verbatim@font !\verb*&!\ProvideTheoremGroup&}|hdclindex{416}{main}}{369} -\indexentry{DeclareTheoremGroup={\verbatim@font !\verb*&!\DeclareTheoremGroup&}|hdclindex{416}{main}}{369} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{417}{}}{369} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{419}{}}{371} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{422}{}}{374} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{424}{main}}{376} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{425}{}}{376} -\indexentry{str commands:=\pkg{str} commands:>str_set:Nn={\verbatim@font !\verb*&!\str&!\_!\verb*&set:Nn&}|hdclindex{427}{}}{378} -\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{427}{}}{378} -\indexentry{tl commands:=\pkg{tl} commands:>tl_trim_spaces:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&trim&!\_!\verb*&spaces:n&}|hdclindex{427}{}}{378} -\indexentry{str commands:=\pkg{str} commands:>str_if_eq:nnTF={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq:nnTF&}|hdclindex{428}{}}{379} -\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{428}{}}{379} -\indexentry{str commands:=\pkg{str} commands:>str_set:Nn={\verbatim@font !\verb*&!\str&!\_!\verb*&set:Nn&}|hdclindex{430}{}}{381} -\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{430}{}}{381} -\indexentry{str commands:=\pkg{str} commands:>str_if_eq:nnTF={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq:nnTF&}|hdclindex{432}{}}{383} -\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{432}{}}{383} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{406}{usage}}{24} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{406}{usage}}{24} -\indexentry{declarator={\verbatim@font !\verb*&!\declarator&}|hdclindex{406}{usage}}{24} -\indexentry{Declarator={\verbatim@font !\verb*&!\Declarator&}|hdclindex{406}{usage}}{24} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_!\meta {declarator}_group:nn={\verbatim@font \bslash groupthm_\meta {declarator}_group:nn}|hdclindex{416}{usage}}{24} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{424}{usage}}{24} -\indexentry{str commands:=\pkg{str} commands:>str_set:Nn={\verbatim@font !\verb*&!\str&!\_!\verb*&set:Nn&}|hdclindex{434}{}}{385} -\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{434}{}}{385} -\indexentry{str commands:=\pkg{str} commands:>str_if_eq:nnTF={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq:nnTF&}|hdclindex{436}{}}{387} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{438}{}}{389} -\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{438}{}}{389} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{441}{}}{392} -\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{441}{}}{392} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{444}{}}{395} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{445}{main}}{396} -\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{446}{}}{396} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{448}{}}{398} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{450}{main}}{400} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{451}{}}{400} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{453}{}}{402} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{454}{}}{403} -\indexentry{clist commands:=\pkg{clist} commands:>clist_gput_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&gput&!\_!\verb*&left:Nn&}|hdclindex{455}{}}{404} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{457}{}}{406} -\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{458}{main}}{407} -\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{459}{}}{407} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{461}{}}{409} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_push_tmpa_seq:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&push&!\_!\verb*&tmpa&!\_!\verb*&seq:n&}|hdclindex{463}{main}}{411} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_flatten_groups_hierarchy:nN={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&flatten&!\_!\verb*&groups&!\_!\verb*&hierarchy:nN&}|hdclindex{465}{main}}{412} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{466}{}}{412} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_push_tmpa_seq:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&push&!\_!\verb*&tmpa&!\_!\verb*&seq:n&}|hdclindex{466}{}}{412} -\indexentry{seq commands:=\pkg{seq} commands:>seq_push:Nn={\verbatim@font !\verb*&!\seq&!\_!\verb*&push:Nn&}|hdclindex{468}{}}{414} -\indexentry{seq commands:=\pkg{seq} commands:>tmpa_seq={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&seq&}|hdclindex{468}{}}{414} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{445}{usage}}{25} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{450}{usage}}{25} -\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{458}{usage}}{25} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{458}{usage}}{25} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_push_tmpa_seq:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&push&!\_!\verb*&tmpa&!\_!\verb*&seq:n&}|hdclindex{463}{usage}}{25} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{470}{}}{416} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{472}{}}{418} -\indexentry{seq commands:=\pkg{seq} commands:>seq_set_from_clist:Nn={\verbatim@font !\verb*&!\seq&!\_!\verb*&set&!\_!\verb*&from&!\_!\verb*&clist:Nn&}|hdclindex{473}{}}{419} -\indexentry{seq commands:=\pkg{seq} commands:>tmpa_seq={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&seq&}|hdclindex{473}{}}{419} -\indexentry{bool commands:=\pkg{bool} commands:>bool_until_do:nn={\verbatim@font !\verb*&!\bool&!\_!\verb*&until&!\_!\verb*&do:nn&}|hdclindex{474}{}}{420} -\indexentry{seq commands:=\pkg{seq} commands:>seq_if_empty_p:N={\verbatim@font !\verb*&!\seq&!\_!\verb*&if&!\_!\verb*&empty&!\_!\verb*&p:N&}|hdclindex{476}{}}{422} -\indexentry{seq commands:=\pkg{seq} commands:>tmpa_seq={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&seq&}|hdclindex{476}{}}{422} -\indexentry{seq commands:=\pkg{seq} commands:>seq_pop:NN={\verbatim@font !\verb*&!\seq&!\_!\verb*&pop:NN&}|hdclindex{479}{}}{425} -\indexentry{seq commands:=\pkg{seq} commands:>tmpa_seq={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&seq&}|hdclindex{479}{}}{425} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{479}{}}{425} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{480}{}}{426} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{480}{}}{426} -\indexentry{clist commands:=\pkg{clist} commands:>clist_if_in:NnTF={\verbatim@font !\verb*&!\clist&!\_!\verb*&if&!\_!\verb*&in:NnTF&}|hdclindex{481}{}}{427} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{481}{}}{427} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{483}{}}{429} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{483}{}}{429} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{484}{}}{430} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{485}{}}{431} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_push_tmpa_seq:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&push&!\_!\verb*&tmpa&!\_!\verb*&seq:n&}|hdclindex{486}{}}{432} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_append_to_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&append&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{490}{main}}{436} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{491}{}}{436} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{493}{}}{438} -\indexentry{int commands:=\pkg{int} commands:>int_use:N={\verbatim@font !\verb*&!\int&!\_!\verb*&use:N&}|hdclindex{493}{}}{438} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{493}{}}{438} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{494}{}}{439} -\indexentry{int commands:=\pkg{int} commands:>int_use:N={\verbatim@font !\verb*&!\int&!\_!\verb*&use:N&}|hdclindex{494}{}}{439} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{494}{}}{439} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{495}{}}{440} -\indexentry{int commands:=\pkg{int} commands:>int_use:N={\verbatim@font !\verb*&!\int&!\_!\verb*&use:N&}|hdclindex{496}{}}{441} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{496}{}}{441} -\indexentry{int commands:=\pkg{int} commands:>int_gincr:N={\verbatim@font !\verb*&!\int&!\_!\verb*&gincr:N&}|hdclindex{497}{}}{442} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{497}{}}{442} -\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{499}{}}{444} -\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{500}{}}{445} -\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{504}{}}{449} -\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{504}{}}{449} -\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{505}{}}{450} -\indexentry{cs={\verbatim@font !\verb*&!\cs&}|hdclindex{506}{}}{451} -\indexentry{marg={\verbatim@font !\verb*&!\marg&}|hdclindex{506}{}}{451} -\indexentry{marg={\verbatim@font !\verb*&!\marg&}|hdclindex{506}{}}{451} -\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{507}{}}{452} -\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{511}{}}{456} -\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{512}{}}{457} -\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{512}{}}{457} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_flatten_groups_hierarchy:nN={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&flatten&!\_!\verb*&groups&!\_!\verb*&hierarchy:nN&}|hdclindex{465}{usage}}{26} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_append_to_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&append&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{490}{usage}}{26} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{516}{}}{461} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{517}{}}{462} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{518}{}}{463} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_powerset_clist_foreach:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach:Nn&}|hdclindex{519}{main}}{464} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{520}{}}{464} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{520}{}}{464} -\indexentry{seq commands:=\pkg{seq} commands:>seq_new:N={\verbatim@font !\verb*&!\seq&!\_!\verb*&new:N&}|hdclindex{521}{}}{465} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{521}{}}{465} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{522}{}}{466} -\indexentry{clist commands:=\pkg{clist} commands:>clist_remove_all:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&remove&!\_!\verb*&all:Nn&}|hdclindex{522}{}}{466} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{523}{}}{467} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_clist_foreach_aux:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach&!\_!\verb*&aux:Nn&}|hdclindex{523}{}}{467} -\indexentry{clist commands:=\pkg{clist} commands:>clist_if_empty:NTF={\verbatim@font !\verb*&!\clist&!\_!\verb*&if&!\_!\verb*&empty:NTF&}|hdclindex{525}{}}{469} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{525}{}}{469} -\indexentry{clist commands:=\pkg{clist} commands:>clist_get:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&get:NN&}|hdclindex{530}{}}{474} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{530}{}}{474} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{530}{}}{474} -\indexentry{seq commands:=\pkg{seq} commands:>seq_push:Nn={\verbatim@font !\verb*&!\seq&!\_!\verb*&push:Nn&}|hdclindex{531}{}}{475} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{531}{}}{475} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{531}{}}{475} -\indexentry{clist commands:=\pkg{clist} commands:>clist_pop:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&pop:NN&}|hdclindex{532}{}}{476} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{532}{}}{476} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{532}{}}{476} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_clist_foreach_aux:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach&!\_!\verb*&aux:Nn&}|hdclindex{533}{}}{477} -\indexentry{seq commands:=\pkg{seq} commands:>seq_get:NN={\verbatim@font !\verb*&!\seq&!\_!\verb*&get:NN&}|hdclindex{534}{}}{478} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{534}{}}{478} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{534}{}}{478} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{535}{}}{479} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{535}{}}{479} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_clist_foreach_aux:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach&!\_!\verb*&aux:Nn&}|hdclindex{536}{}}{480} -\indexentry{seq commands:=\pkg{seq} commands:>seq_get:NN={\verbatim@font !\verb*&!\seq&!\_!\verb*&get:NN&}|hdclindex{537}{}}{481} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{537}{}}{481} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{537}{}}{481} -\indexentry{clist commands:=\pkg{clist} commands:>clist_remove_all:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&remove&!\_!\verb*&all:Nn&}|hdclindex{538}{}}{482} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{538}{}}{482} -\indexentry{clist commands:=\pkg{clist} commands:>clist_push:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&push:Nn&}|hdclindex{539}{}}{483} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{539}{}}{483} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{539}{}}{483} -\indexentry{seq commands:=\pkg{seq} commands:>seq_pop:NN={\verbatim@font !\verb*&!\seq&!\_!\verb*&pop:NN&}|hdclindex{540}{}}{484} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{540}{}}{484} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{540}{}}{484} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{543}{}}{487} -\indexentry{powerset commands:=\pkg{powerset} commands:>powerset_clist_foreach:Nn={\verbatim@font !\verb*&!\powerset&!\_!\verb*&clist&!\_!\verb*&foreach:Nn&}|hdclindex{543}{}}{487} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{545}{}}{489} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{545}{}}{489} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{546}{}}{490} -\indexentry{clist commands:=\pkg{clist} commands:>clist_remove_duplicates:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&remove&!\_!\verb*&duplicates:N&}|hdclindex{547}{}}{491} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{547}{}}{491} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_clist_foreach_aux:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach&!\_!\verb*&aux:Nn&}|hdclindex{548}{}}{492} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{549}{}}{493} -\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{549}{}}{493} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_powerset_clist_foreach:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach:Nn&}|hdclindex{519}{usage}}{27} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{551}{main}}{495} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{552}{}}{495} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{554}{}}{497} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{556}{}}{499} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{559}{}}{502} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&group:n&}|hdclindex{560}{main}}{503} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{561}{}}{503} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{563}{}}{505} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{564}{}}{506} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_function_on_name:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&function&!\_!\verb*&on&!\_!\verb*&name:n&}|hdclindex{566}{main}}{508} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{567}{}}{508} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{569}{}}{510} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{569}{}}{510} -\indexentry{tl commands:=\pkg{tl} commands:>tl_use:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&use:N&}|hdclindex{571}{}}{512} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{571}{}}{512} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_theorem:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&theorem:nnnn&}|hdclindex{574}{main}}{515} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{575}{}}{515} -\indexentry{tl commands:=\pkg{tl} commands:>tl_clear:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&clear:N&}|hdclindex{577}{}}{517} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{577}{}}{517} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{578}{}}{518} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{578}{}}{518} -\indexentry{tl commands:=\pkg{tl} commands:>tl_clear:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&clear:N&}|hdclindex{579}{}}{519} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{579}{}}{519} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{580}{}}{520} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{580}{}}{520} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{581}{}}{521} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{581}{}}{521} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{551}{usage}}{28} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&group:n&}|hdclindex{560}{usage}}{28} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_function_on_name:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&function&!\_!\verb*&on&!\_!\verb*&name:n&}|hdclindex{566}{usage}}{28} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{566}{usage}}{28} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_theorem:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&theorem:nnnn&}|hdclindex{574}{usage}}{28} -\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{574}{usage}}{28} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{582}{}}{522} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{583}{}}{523} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{584}{}}{524} -\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{585}{}}{525} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_flatten_groups_hierarchy:nN={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&flatten&!\_!\verb*&groups&!\_!\verb*&hierarchy:nN&}|hdclindex{586}{}}{526} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{586}{}}{526} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{587}{}}{527} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{587}{}}{527} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&group:n&}|hdclindex{587}{}}{527} -\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{588}{}}{528} -\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{588}{}}{528} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{588}{}}{528} -\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{590}{}}{530} -\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{591}{}}{531} -\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{592}{}}{532} -\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{593}{}}{533} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{594}{}}{534} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{594}{}}{534} -\indexentry{map commands:=\pkg{map} commands:>map_use_on_name:n={\verbatim@font !\verb*&!\map&!\_!\verb*&use&!\_!\verb*&on&!\_!\verb*&name:n&}|hdclindex{594}{}}{534} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{595}{}}{535} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{595}{}}{535} -\indexentry{tl commands:=\pkg{tl} commands:>tl_put_right:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{596}{}}{536} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{596}{}}{536} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{596}{}}{536} -\indexentry{tl commands:=\pkg{tl} commands:>tl_put_right:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{597}{}}{537} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{597}{}}{537} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{597}{}}{537} -\indexentry{tl commands:=\pkg{tl} commands:>tl_put_right:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{598}{}}{538} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{598}{}}{538} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{598}{}}{538} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{599}{}}{539} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{599}{}}{539} -\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{599}{}}{539} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{600}{}}{540} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{600}{}}{540} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_declare_theorem:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&declare&!\_!\verb*&theorem:nn&}|hdclindex{601}{}}{541} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{602}{}}{542} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{605}{main}}{545} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&theorem:nnnn&}|hdclindex{605}{main}}{545} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{606}{}}{545} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_error:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&error:&}|hdclindex{610}{}}{549} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{605}{usage}}{29} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_theorem:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&theorem:nnnn&}|hdclindex{611}{}}{550} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{614}{}}{553} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{615}{}}{554} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{616}{}}{555} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{617}{}}{556} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnn&}|hdclindex{618}{main}}{557} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&theorem:nnn&}|hdclindex{618}{main}}{557} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{619}{}}{557} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{623}{}}{561} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{624}{}}{562} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{626}{}}{564} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{626}{}}{564} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{628}{}}{566} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{630}{}}{568} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{631}{}}{569} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{632}{}}{570} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{633}{}}{571} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{633}{}}{571} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{635}{}}{573} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{635}{}}{573} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{636}{}}{574} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{638}{}}{576} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{639}{}}{577} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{640}{}}{578} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{643}{main}}{581} -\indexentry{NewGroupedTheorem*={\verbatim@font !\verb*&!\NewGroupedTheorem*&}|hdclindex{643}{main}}{581} -\indexentry{ProvideGroupedTheorem={\verbatim@font !\verb*&!\ProvideGroupedTheorem&}|hdclindex{643}{main}}{581} -\indexentry{ProvideGroupedTheorem*={\verbatim@font !\verb*&!\ProvideGroupedTheorem*&}|hdclindex{643}{main}}{581} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{644}{}}{581} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{646}{}}{583} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnn&}|hdclindex{618}{usage}}{30} -\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{643}{usage}}{30} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{649}{}}{586} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family:nnnnn&}|hdclindex{654}{main}}{591} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{655}{}}{591} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&set:Nn&}|hdclindex{657}{}}{593} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{657}{}}{593} -\indexentry{powerset commands:=\pkg{powerset} commands:>powerset_clist_foreach:Nn={\verbatim@font !\verb*&!\powerset&!\_!\verb*&clist&!\_!\verb*&foreach:Nn&}|hdclindex{658}{}}{594} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{658}{}}{594} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{660}{}}{596} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{660}{}}{596} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{660}{}}{596} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{661}{}}{597} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{661}{}}{597} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_sort_group_names:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&sort&!\_!\verb*&group&!\_!\verb*&names:&}|hdclindex{662}{}}{598} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{663}{}}{599} -\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{664}{}}{600} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{664}{}}{600} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{665}{}}{601} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{669}{}}{605} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{670}{}}{606} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{670}{}}{606} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{671}{}}{607} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&set:Nn&}|hdclindex{672}{}}{608} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnnnn&}|hdclindex{674}{main}}{610} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family:nnnnn&}|hdclindex{654}{usage}}{31} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{659}{usage}}{31} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{675}{}}{610} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_error:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&error:&}|hdclindex{679}{}}{614} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family:nnnnn&}|hdclindex{680}{}}{615} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{683}{}}{618} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{684}{}}{619} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family:nnnnn&}|hdclindex{684}{}}{619} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{685}{main}}{620} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family:nnn&}|hdclindex{685}{main}}{620} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{686}{}}{620} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{690}{}}{624} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{691}{}}{625} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&set:Nn&}|hdclindex{693}{}}{627} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{693}{}}{627} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{696}{}}{630} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{696}{}}{630} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{698}{}}{632} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{698}{}}{632} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{700}{}}{634} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{700}{}}{634} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{702}{}}{636} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{704}{}}{638} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{705}{}}{639} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{706}{}}{640} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{707}{}}{641} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{709}{main}}{643} -\indexentry{NewGroupedTheoremFamily*={\verbatim@font !\verb*&!\NewGroupedTheoremFamily*&}|hdclindex{709}{main}}{643} -\indexentry{ProvideGroupedTheoremFamily={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamily&}|hdclindex{709}{main}}{643} -\indexentry{ProvideGroupedTheoremFamily*={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamily*&}|hdclindex{709}{main}}{643} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{710}{}}{643} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{712}{}}{645} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{715}{}}{648} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnnnn&}|hdclindex{674}{usage}}{32} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{685}{usage}}{32} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{709}{usage}}{32} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{720}{main}}{653} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{721}{}}{653} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{723}{}}{655} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{723}{}}{655} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{725}{}}{657} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{725}{}}{657} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nn&}|hdclindex{728}{}}{660} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{731}{main}}{663} -\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{732}{}}{663} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{734}{}}{665} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family_options:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{736}{main}}{667} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{737}{}}{667} -\indexentry{DeclareDocumentEnvironment={\verbatim@font !\verb*&!\DeclareDocumentEnvironment&}|hdclindex{739}{}}{669} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{743}{}}{673} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{743}{}}{673} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{720}{usage}}{33} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{731}{usage}}{33} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family_options:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{736}{usage}}{33} -\indexentry{bool commands:=\pkg{bool} commands:>bool_set_true:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&true:N&}|hdclindex{744}{}}{674} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{744}{}}{674} -\indexentry{bool commands:=\pkg{bool} commands:>bool_set_false:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&false:N&}|hdclindex{746}{}}{676} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{746}{}}{676} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{747}{}}{677} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{747}{}}{677} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_sort_group_names:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&sort&!\_!\verb*&group&!\_!\verb*&names:&}|hdclindex{748}{}}{678} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{749}{}}{679} -\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{749}{}}{679} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{749}{}}{679} -\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{751}{}}{681} -\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{751}{}}{681} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{751}{}}{681} -\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnnn&}|hdclindex{754}{}}{684} -\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nnnn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nnnn&}|hdclindex{756}{}}{686} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{756}{}}{686} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{760}{}}{690} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{760}{}}{690} -\indexentry{bool commands:=\pkg{bool} commands:>bool_set_true:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&true:N&}|hdclindex{761}{}}{691} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{761}{}}{691} -\indexentry{bool commands:=\pkg{bool} commands:>bool_set_false:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&false:N&}|hdclindex{763}{}}{693} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{763}{}}{693} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{764}{}}{694} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{764}{}}{694} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_sort_group_names:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&sort&!\_!\verb*&group&!\_!\verb*&names:&}|hdclindex{765}{}}{695} -\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{766}{}}{696} -\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{766}{}}{696} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{766}{}}{696} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{main}}{699} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{main}}{699} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{main}}{699} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{main}}{699} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{770}{}}{699} -\indexentry{use commands:=\pkg{use} commands:>use_none:n={\verbatim@font !\verb*&!\use&!\_!\verb*&none:n&}|hdclindex{774}{}}{703} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family_options:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{775}{}}{704} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{778}{}}{707} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{779}{}}{708} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{780}{}}{709} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{781}{}}{710} -\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{742}{usage}}{34} -\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{747}{usage}}{34} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{usage}}{34} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{782}{main}}{711} -\indexentry{NewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions*&}|hdclindex{782}{main}}{711} -\indexentry{RenewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\RenewGroupedTheoremFamilyOptions&}|hdclindex{782}{main}}{711} -\indexentry{RenewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\RenewGroupedTheoremFamilyOptions*&}|hdclindex{782}{main}}{711} -\indexentry{ProvideGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamilyOptions&}|hdclindex{782}{main}}{711} -\indexentry{ProvideGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamilyOptions*&}|hdclindex{782}{main}}{711} -\indexentry{DeclareGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\DeclareGroupedTheoremFamilyOptions&}|hdclindex{782}{main}}{711} -\indexentry{DeclareGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\DeclareGroupedTheoremFamilyOptions*&}|hdclindex{782}{main}}{711} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{783}{}}{711} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{785}{}}{713} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{788}{}}{716} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{789}{}}{717} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{790}{}}{718} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&set:Nn&}|hdclindex{792}{}}{720} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{792}{}}{720} -\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{795}{}}{723} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{795}{}}{723} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{797}{}}{725} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{801}{}}{729} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{802}{}}{730} -\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{802}{}}{730} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{804}{}}{732} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{809}{}}{737} -\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{811}{}}{739} -\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{782}{usage}}{35} diff --git a/src/environments/groupthm/groupthm.out b/src/environments/groupthm/groupthm.out deleted file mode 100644 index 7c4b2a3..0000000 --- a/src/environments/groupthm/groupthm.out +++ /dev/null @@ -1,29 +0,0 @@ -\BOOKMARK [1][-]{toc1.1}{Contents}{}% 1 -\BOOKMARK [1][-]{section.0.1}{1 Concepts}{}% 2 -\BOOKMARK [2][-]{subsection.0.1.1}{1.1 Theorem groups}{section.0.1}% 3 -\BOOKMARK [2][-]{subsection.0.1.2}{1.2 Grouped theorems}{section.0.1}% 4 -\BOOKMARK [2][-]{subsection.0.1.3}{1.3 Theorem families}{section.0.1}% 5 -\BOOKMARK [2][-]{subsection.0.1.4}{1.4 General notions}{section.0.1}% 6 -\BOOKMARK [1][-]{section.0.2}{2 Theorem groups}{}% 7 -\BOOKMARK [2][-]{subsection.0.2.1}{2.1 Defining theorem groups}{section.0.2}% 8 -\BOOKMARK [2][-]{subsection.0.2.2}{2.2 Controlling theorem group precedence}{section.0.2}% 9 -\BOOKMARK [2][-]{subsection.0.2.3}{2.3 Inheritance of theorem groups}{section.0.2}% 10 -\BOOKMARK [2][-]{subsection.0.2.4}{2.4 Appending to theorem groups}{section.0.2}% 11 -\BOOKMARK [2][-]{subsection.0.2.5}{2.5 Default theorem groups}{section.0.2}% 12 -\BOOKMARK [1][-]{section.0.3}{3 Grouped Theorems}{}% 13 -\BOOKMARK [2][-]{subsection.0.3.1}{3.1 Defining grouped theorems}{section.0.3}% 14 -\BOOKMARK [2][-]{subsection.0.3.2}{3.2 Defining families of grouped theorems}{section.0.3}% 15 -\BOOKMARK [1][-]{section.0.4}{4 LaTeX3 interface}{}% 16 -\BOOKMARK [2][-]{subsection.0.4.1}{4.1 Theorem groups}{section.0.4}% 17 -\BOOKMARK [2][-]{subsection.0.4.2}{4.2 Grouped theorems}{section.0.4}% 18 -\BOOKMARK [2][-]{subsection.0.4.3}{4.3 Theorem families}{section.0.4}% 19 -\BOOKMARK [1][-]{section.0.5}{5 groupthm implementation}{}% 20 -\BOOKMARK [2][-]{subsection.0.5.1}{5.1 Dependencies}{section.0.5}% 21 -\BOOKMARK [2][-]{subsection.0.5.2}{5.2 Messages}{section.0.5}% 22 -\BOOKMARK [2][-]{subsection.0.5.3}{5.3 Allocation and initialization}{section.0.5}% 23 -\BOOKMARK [2][-]{subsection.0.5.4}{5.4 Key interface}{section.0.5}% 24 -\BOOKMARK [2][-]{subsection.0.5.5}{5.5 Theorem groups}{section.0.5}% 25 -\BOOKMARK [2][-]{subsection.0.5.6}{5.6 Iterating over powersets}{section.0.5}% 26 -\BOOKMARK [2][-]{subsection.0.5.7}{5.7 Grouped Theorems}{section.0.5}% 27 -\BOOKMARK [2][-]{subsection.0.5.8}{5.8 Theorem families}{section.0.5}% 28 -\BOOKMARK [2][-]{subsection.0.5.9}{5.9 Theorem family options}{section.0.5}% 29 diff --git a/src/environments/groupthm/groupthm.sty b/src/environments/groupthm/groupthm.sty deleted file mode 100644 index 4f57064..0000000 --- a/src/environments/groupthm/groupthm.sty +++ /dev/null @@ -1,742 +0,0 @@ -%% -%% This is file `groupthm.sty', -%% generated with the docstrip utility. -%% -%% The original source files were: -%% -%% groupthm.dtx (with options: `package') -%% -%% IMPORTANT NOTICE: -%% -%% For the copyright see the source file. -%% -%% Any modified versions of this file must be renamed -%% with new filenames distinct from groupthm.sty. -%% -%% For distribution of the original source see the terms -%% for copying and modification in the file groupthm.dtx. -%% -%% This generated file may be distributed as long as the -%% original source files, as listed above, are part of the -%% same distribution. (The sources need not necessarily be -%% in the same archive or directory.) -%% File: groupthm.dtx -\ProvidesExplPackage{groupthm}{2022/01/17}{0.0.1}{Grouped theorems.} -\RequirePackage{amsthm} -\RequirePackage{thmtools} -\cs_new:Npn \__groupthm_thmtools_declare_theorem:nn #1 #2 - { - \tl_log:n { Declaring ~ thmtools ~ theorem ~ #2 } - \declaretheorem [ #1 ] { #2 } - } -\cs_generate_variant:Nn \__groupthm_thmtools_declare_theorem:nn { V n } -\cs_new:Npn \__groupthm_hook_gset_rule_foreach:nNnn #1 #2 #3 #4 - { - \cs_set:Npn \__groupthm_map_aux:n ##1 - { - \hook_gset_rule:nnnn { #1 } { ##1 } { #3 } { #4 } - } - \clist_map_function:NN #2 \__groupthm_map_aux:n - } -\msg_new:nnn { groupthm } { unknown ~ group } -{ - Unknown ~ group ~ '#1' ~ supplied ~ \msg_line_context: -} -\msg_new:nnn { groupthm } { unknown ~ key } -{ - Unknown ~ key ~ '#1' ~ supplied ~ \msg_line_context: -} -\msg_new:nnn { groupthm } { wrong ~ definition } -{ - Bad ~ definition ~ of ~ #1 ~ '#2' ~ \msg_line_context:, ~ #1 ~ is ~ #3 ~ defined. -} -\msg_new:nnn { groupthm } { misuse ~ add ~ theorem ~ to ~ group } - { - Bad ~ usage ~ of ~ 'AddTheoremToGroup' ~ macro ~ outside ~ theorem ~ - family ~ options ~ \msg_line_context: - } -\msg_new:nnnn { groupthm } { undefined ~ theorem ~ variant } - { - Bad ~ call ~ of ~ theorem ~ variant ~ of ~ '#1' ~ \msg_line_context: - } - { - You ~ wanted ~ to ~ call ~ the ~ variant ~ with ~ group(s) ~ - '#2' ~ of ~ theorem ~ family ~ '#1', ~ but ~ it ~ has ~ not ~ been ~ - generated ~ yet. ~ - Probably ~ you ~ forgot ~ this. ~ - \msg_see_documentation_text:n { groupthm } - } -\hook_new:n { __groupthm/prefix } -\hook_new:n { __groupthm/suffix } -\hook_new:n { __groupthm/mapname } -\hook_new:n { __groupthm/thmtools } -\hook_new:n { __groupthm/groupsort } -\cs_generate_variant:Nn \hook_gset_rule:nnnn { n n V n } -\bool_new:N \l__groupthm_key_starred_version_bool -\tl_new:N \l__groupthm_key_prefix_tl -\tl_new:N \l__groupthm_key_name_tl -\tl_new:N \l__groupthm_key_suffix_tl -\clist_new:N \l__groupthm_key_group_clist -\clist_new:N \l__groupthm_key_mapname_clist -\clist_new:N \l__groupthm_key_thmtools_clist -\tl_new:N \l__groupthm_prefix_tl -\tl_new:N \l__groupthm_name_tl -\tl_new:N \l__groupthm_suffix_tl -\clist_new:N \l__groupthm_mapname_clist -\clist_new:N \l__groupthm_thmtools_clist -\clist_new:N \l__groupthm_group_clist -\clist_new:N \g__groupthm_defined_groups_clist -\bool_new:N \l__groupthm_in_family_options_environment_bool -\int_new:N \g__groupthm_append_groups_int -\keys_define:nn { groupthm / theorem ~ group } - { - prefix .tl_set:N = \l__groupthm_key_prefix_tl, - prefix .default:n = \c_empty_tl, - suffix .tl_set:N = \l__groupthm_key_suffix_tl, - suffix .default:n = \c_empty_tl, - suffix .groups:n = { theoremgroup }, - map ~ name .clist_set:N = \l__groupthm_mapname_clist, - map ~ name .default:n = {}, - map ~ name .groups:n = { theoremgroup }, - thmtools .clist_set:N = \l__groupthm_key_thmtools_clist, - thmtools .default:n = {}, - unknown .code:n = - \msg_error:nnx { groupthm } { unknown ~ key } { \str_use:N \l_keys_key_str } - } -\keys_define:nn { groupthm / grouped ~ theorem } - { - name .tl_set:N = \l__groupthm_key_name_tl, - name .default:n = \c_novalue_tl, - group .clist_set:N = \l__groupthm_key_group_clist, - group .default:n = {}, - thmtools .clist_set:N = \l__groupthm_key_thmtools_clist, - thmtools .default:n = {}, - starred ~ version .bool_set:N = \l__groupthm_key_starred_version_bool, - starred ~ version .default:n = { true }, - unknown .code:n = - \msg_error:nnx { groupthm } { unknown ~ key } { \str_use:N \l_keys_key_str } - } -\keys_define:nn { groupthm / theorem ~ family } - { - name .tl_set:N = \l__groupthm_key_name_tl, - name .default:n = \c_novalue_tl, - group .clist_set:N = \l__groupthm_key_group_clist, - group .default:n = {}, - thmtools .clist_set:N = \l__groupthm_key_thmtools_clist, - thmtools .default:n = {}, - starred ~ version .bool_set:N = \l__groupthm_key_starred_version_bool, - starred ~ version .default:n = { true }, - unknown .code:n = - \msg_error:nnx { groupthm } { unknown ~ key } { \str_use:N \l_keys_key_str } - } -\keys_define:nn { groupthm / theorem ~ family ~ options } - { - starred ~ version .bool_set:N = \l__groupthm_key_starred_version_bool, - starred ~ version .default:n = { true }, - unknown .code:n = - \msg_error:nnx { groupthm } { unknown ~ key } { \str_use:N \l_keys_key_str } - } -\cs_new:Npn \__groupthm_set_normalized_keys:nnn #1 #2 #3 - { - \keys_set:nn { groupthm / theorem ~ group } - { prefix, suffix, thmtools, map ~ name } - \keys_set:nn { groupthm / grouped ~ theorem } - { name, group, thmtools, starred ~ version } - \keys_set:nn { groupthm / theorem ~ family } - { name, group, thmtools, starred ~ version } - \keys_set:nn { groupthm / #2 } { #1 } - \tl_if_eq:NnTF \l__groupthm_key_name_tl { \c_novalue_tl } - { - \tl_set:Nx \l__groupthm_name_tl - { - \text_titlecase_first:n {#3} - } - } - { - \tl_set_eq:NN \l__groupthm_name_tl \l__groupthm_key_name_tl - } - \bool_set_eq:NN \l__groupthm_starred_version_bool \l__groupthm_key_starred_version_bool - \tl_set_eq:NN \l__groupthm_prefix_tl \l__groupthm_key_prefix_tl - \tl_set_eq:NN \l__groupthm_suffix_tl \l__groupthm_key_suffix_tl - \clist_set_eq:NN \l__groupthm_group_clist \l__groupthm_key_group_clist - \clist_set_eq:NN \l__groupthm_mapname_clist \l__groupthm_key_mapname_clist - \clist_set_eq:NN \l__groupthm_thmtools_clist \l__groupthm_key_thmtools_clist - } -\cs_new:Npn \__groupthm_add_to_group_ordering:n #1 - { - \__groupthm_hook_gset_rule_foreach:nNnn - { __groupthm/groupsort } - \g__groupthm_defined_groups_clist - { before } - { #1 } - } -\cs_new:Npn \__groupthm_remove_from_group_ordering:n #1 - { - \__groupthm_hook_gset_rule_foreach:nNnn - { __groupthm/groupsort } - \g__groupthm_defined_groups_clist - { unrelated } - { #1 } - } -\cs_new:Npn \__groupthm_add_to_sort_hook:n #1 -{ - \hook_gput_code:nnn { __groupthm/groupsort } - { #1 } - { - \clist_put_left:Nn \l__groupthm_group_clist { #1 } - } -} -\cs_new:Npn \__groupthm_sort_group_names: - { - \hook_gremove_code:nn { __groupthm/groupsort }{*} - \clist_map_function:NN \l__groupthm_group_clist \__groupthm_add_to_sort_hook:n - \clist_clear:N \l__groupthm_group_clist - \hook_use:n { __groupthm/groupsort } - } -\cs_new:Npn \__groupthm_define_group:nnnnn #1#2#3#4#5 - { - \cs_new:cpn { __groupthm_use_group__#1: } - { - \hook_gput_code:nnn { __groupthm/prefix } { #1 } - { - \tl_put_left:Nx \l__groupthm_prefix_tl { #2 } - } - \hook_gput_code:nnn { __groupthm/suffix } { #1 } - { - \tl_put_right:Nx \l__groupthm_suffix_tl { #3 } - } - \hook_gput_code:nnn { __groupthm/mapname } { #1 } - { - \clist_put_right:Nn \l__groupthm_mapname_clist { #4 } - } - \hook_gput_code:nnn { __groupthm/thmtools } { #1 } - { - \clist_put_right:Nn \l__groupthm_thmtools_clist { #5 } - } - } - \__groupthm_add_to_group_ordering:n { #1 } - \clist_new:c { g__groupthm_parents_group__#1__clist } - \hook_gset_rule:nnnn { ?? } { all } { before } { #1 } - \hook_gset_rule:nnnn { ?? } { unnumbered } { after } { #1 } - \hook_gset_rule:nnnn { ?? } { starred } { after } { #1 } - \clist_gput_left:Nn \g__groupthm_defined_groups_clist { #1 } - } -\cs_new:Npn \__groupthm_undefine_group:n #1 - { - \tl_log:n { Undefining ~ theorem ~ group ~ '#1' } - \cs_undefine:c { __groupthm_use_group__#1: } - \hook_gremove_code:nn { __groupthm/prefix } { #1 } - \hook_gremove_code:nn { __groupthm/suffix } { #1 } - \hook_gremove_code:nn { __groupthm/mapname } { #1 } - \hook_gremove_code:nn { __groupthm/thmtools } { #1 } - \clist_gremove_all:Nn \g__groupthm_defined_groups_clist { #1 } - \cs_undefine:c { g__groupthm_parents_group__#1__clist } - \__groupthm_hook_gset_rule_foreach:nNnn - { ?? } - \g__groupthm_defined_groups_clist - { unrelated } - { #1 } - \__groupthm_hook_gset_rule_foreach:nNnn - { __groupthm/prefix } - \g__groupthm_defined_groups_clist - { unrelated } - { #1 } - \__groupthm_hook_gset_rule_foreach:nNnn - { __groupthm/suffix } - \g__groupthm_defined_groups_clist - { unrelated } - { #1 } - \__groupthm_hook_gset_rule_foreach:nNnn - { __groupthm/mapname } - \g__groupthm_defined_groups_clist - { unrelated } - { #1 } - \__groupthm_hook_gset_rule_foreach:nNnn - { __groupthm/thmtools } - \g__groupthm_defined_groups_clist - { unrelated } - { #1 } - \__groupthm_remove_from_group_ordering:n { #1 } - } -\cs_new:Npn \__groupthm_define:nnnNNNn #1 #2 #3 #4 #5 #6 #7 - { - \bool_if:nT - { - \str_if_eq_p:nn { #1 } { new } - && - \cs_if_exist_p:N #4 - } - { - \tl_log:n { Wrong ~ 'new' ~ definition ~ of ~ #2 ~ '#3' ~ detected. } - \msg_error:nnnnn { groupthm } { wrong ~ definition } - { #2 } { #3 } { already } - } - \bool_if:nT - { - \str_if_eq_p:nn { #1 } { renew } - && - ! \cs_if_exist_p:N #4 - } - { - \tl_log:n { Wrong ~ 'renew' ~ definition ~ of ~ #2 ~ '#3' ~ detected. } - \msg_error:nnnnn { groupthm } { wrong ~ definition } - { #2 } { #3 } { not } - } - \bool_if:nT - { - ( - \str_if_eq_p:nn { #1 } { declare } || - \str_if_eq_p:nn { #1 } { renew } - ) && - \cs_if_exist_p:N #4 - } - { - \tl_log:n { Removing ~ definition ~ of ~ #2 ~ '#3'. } - \tl_log:n { Declarator ~ was ~ #1. } - #5 { #3 } - } - \bool_if:nTF - { - \cs_if_exist_p:N #4 - && - \str_if_eq_p:nn { #1 } { provide } - } - { - \tl_log:n { Providing ~ #2 ~ '#3' ~ skipped: ~ '#3' ~ already ~ defined. } - } - { - \tl_log:n { Defining ~ #2 ~ '#3'. } - #6 #7 - } - } -\cs_generate_variant:Nn \__groupthm_define:nnnNNNn { n n n c N N n } -\cs_new:Npn \__groupthm_define_multiple:nnnNNnn #1 #2 #3 #4 #5 #6 #7 - { - \cs_set:Npn \__groupthm_map_aux:n ##1 - { - \cs_new:cn { #6 } - { - \__groupthm_define:nnncNNn - { ##1 } - { #2 } - { ####1 } - { #3 } - #4 - #5 - { #7 } - } - } - \clist_map_function:nN { #1 } \__groupthm_map_aux:n - } -\__groupthm_define_multiple:nnnNNnn - { new, renew, provide, declare } - { theorem group } - { __groupthm_use_group__##1: } - \__groupthm_undefine_group:n - \__groupthm_define_group:nnnnn - { groupthm_#1_group:nnnnn } - { { ##1 } { ##2 } { ##3 } { ##4 } { ##5 } } -\cs_generate_variant:Nn \groupthm_new_group:nnnnn { n V V V V } -\cs_generate_variant:Nn \groupthm_renew_group:nnnnn { n V V V V } -\cs_generate_variant:Nn \groupthm_provide_group:nnnnn { n V V V V } -\cs_generate_variant:Nn \groupthm_declare_group:nnnnn { n V V V V } -\cs_new:Npn \__groupthm_wrap_multiple:nnn #1 #2 #3 - { - \cs_set:Npn \__groupthm_map_aux:n ##1 - { - \cs_new:cn { #2 } - { - #3 - } - } - \clist_map_function:nN { #1 } \__groupthm_map_aux:n - } -\__groupthm_wrap_multiple:nnn - { new, renew, provide, declare } - { groupthm_#1_group:nn } - { - \__groupthm_set_normalized_keys:nnn { ##1 } { theorem ~ group } { ##2 } - \use:c { groupthm_#1_group:nVVVV } - { ##2 } - \l__groupthm_prefix_tl - \l__groupthm_suffix_tl - \l__groupthm_mapname_clist - \l__groupthm_thmtools_clist - } -\cs_generate_variant:Nn \groupthm_new_group:nn { n x } -\cs_new:Npn \__groupthm_new_document_command:Nnn #1 #2 #3 - { - \NewDocumentCommand { #1 } { #2 } { #3 } - } -\cs_generate_variant:Nn \__groupthm_new_document_command:Nnn { c n n } -\cs_new:Npn \__groupthm_wrap_multiple_document:nnnn #1 #2 #3 #4 - { - \cs_set:Npn \__groupthm_map_aux:n ##1 - { - \cs_set:Nn \__groupthm_Declarator: { \text_titlecase_first:n { ##1 } } - \__groupthm_new_document_command:cnn { #2 } { #3 } { #4 } - } - \clist_map_function:nN { #1 } \__groupthm_map_aux:n - } -\__groupthm_wrap_multiple_document:nnnn - { new, renew, provide, declare } - { \__groupthm_Declarator: TheoremGroup } - { O{} m } - { - \use:c { groupthm_#1 _group:nn } { ##1 } { ##2 } - } -\cs_new:Npn \groupthm_declare_group_rule:nnnn #1 #2 #3 #4 - { - \str_set:Nx \l_tmpa_str { \tl_trim_spaces:n { #3 } } - \str_if_eq:VnT \l_tmpa_str { higher } - { - \str_set:Nn \l_tmpa_str { after } - } - \str_if_eq:VnT \l_tmpa_str { lower } - { - \str_set:Nn \l_tmpa_str { before } - } - \str_if_eq:nnTF { #1 } { ?? } - { - \hook_gset_rule:nnVn {??} {#2} \l_tmpa_str {#4} - } - { - \hook_gset_rule:nnVn { __groupthm / #1 } {#2} \l_tmpa_str {#4} - } - } -\cs_generate_variant:Nn \groupthm_declare_group_rule:nnnn { n n n x } -\NewDocumentCommand { \DeclareTheoremGroupRule } { O{??} m m m } - { - \groupthm_declare_group_rule:nnnn {#1} {#2} {#3} {#4} - } -\cs_new:Npn \groupthm_add_parent:nn #1 #2 - { - \__groupthm_ensure_group_exists:n { #1 } - \__groupthm_ensure_group_exists:n { #2 } - \clist_gput_left:cn { g__groupthm_parents_group__#1__clist } { #2 } - } -\cs_generate_variant:Nn \groupthm_add_parent:nn { n x } -\NewDocumentCommand { \AddTheoremGroupParent } { m m } - { - \groupthm_add_parent:nn { #1 } { #2 } - } -\cs_new:Npn \__groupthm_push_tmpa_seq:n #1 - { - \seq_push:Nn \l_tmpa_seq { #1 } - } -\cs_new:Npn \__groupthm_flatten_groups_hierarchy:nN #1 #2 - { - \clist_clear:N #2 - \seq_set_from_clist:Nn \l_tmpa_seq { #1 } - \bool_until_do:nn - { - \seq_if_empty_p:N \l_tmpa_seq - } - { - \seq_pop:NN \l_tmpa_seq \l_tmpa_tl - \__groupthm_ensure_group_exists:V \l_tmpa_tl - \clist_if_in:NVF #2 \l_tmpa_tl - { - \clist_put_left:NV #2 \l_tmpa_tl - \clist_map_function:cN - { g__groupthm_parents_group__ \l_tmpa_tl __clist } - \__groupthm_push_tmpa_seq:n - } - } - } -\cs_new:Npn \groupthm_append_to_group:nn #1 #2 - { - \groupthm_new_group:nx { #1 } { __append__ \int_use:N \g__groupthm_append_groups_int } - \groupthm_add_parent:nx { #2 } { __append__ \int_use:N \g__groupthm_append_groups_int } - \groupthm_declare_group_rule:nnnx - { ?? } { #2 } { before } { __append__ \int_use:N \g__groupthm_append_groups_int } - \int_gincr:N \g__groupthm_append_groups_int - } -\NewDocumentCommand { \AppendToTheoremGroup } { O{} m } - { - \groupthm_append_to_group:nn { #1 } { #2 } - } -\groupthm_new_group:nnnnn { all } { } { } { } { } -\groupthm_new_group:nnnnn { starred } { } { } { } { numbered = no } -\groupthm_new_group:nnnnn { unnumbered } { } { } { } { numbered = no } -\clist_new:N \l__powerset_copied_clist -\seq_new:N \l__powerset_saved_seq -\cs_generate_variant:Nn \clist_remove_all:Nn { N V } -\cs_new:Npn \__powerset_clist_foreach_aux:Nn #1 #2 - { - \clist_if_empty:NTF \l__powerset_copied_clist - { - #2 - } - { - \clist_get:NN \l__powerset_copied_clist \l_tmpa_tl - \seq_push:NV \l__powerset_saved_seq \l_tmpa_tl - \clist_pop:NN \l__powerset_copied_clist { \l_tmpa_tl } - \__powerset_clist_foreach_aux:Nn #1 {#2} - \seq_get:NN \l__powerset_saved_seq \l_tmpa_tl - \clist_put_left:NV #1 \l_tmpa_tl - \__powerset_clist_foreach_aux:Nn #1 {#2} - \seq_get:NN \l__powerset_saved_seq \l_tmpa_tl - \clist_remove_all:NV #1 \l_tmpa_tl - \clist_push:NV \l__powerset_copied_clist \l_tmpa_tl - \seq_pop:NN \l__powerset_saved_seq \l_tmpa_tl - } - } -\cs_new:Npn \powerset_clist_foreach:Nn #1 #2 - { - \clist_set_eq:NN \l__powerset_copied_clist #1 - \clist_clear:N #1 - \clist_remove_duplicates:N \l__powerset_copied_clist - \__powerset_clist_foreach_aux:Nn #1 {#2} - \clist_set_eq:NN #1 \l__powerset_copied_clist - } -\cs_new:Npn \__groupthm_ensure_group_exists:n #1 - { - \cs_if_exist:cF { __groupthm_use_group__#1: } - { - \msg_error:nnn { groupthm } { unknown ~ group } { #1 } - } - } -\cs_generate_variant:Nn \__groupthm_ensure_group_exists:n { V } -\cs_new:Npn \__groupthm_use_group:n #1 - { - \__groupthm_ensure_group_exists:n { #1 } - \use:c { __groupthm_use_group__#1: } - } -\cs_new:Npn \__groupthm_use_function_on_name:n #1 - { - \tl_set:Nx \l__groupthm_name_tl - { - #1 { \tl_use:N \l__groupthm_name_tl } - } - } -\cs_new:Npn \__groupthm_define_theorem:nnnn #1 #2 #3 #4 - { - \tl_clear:N \l__groupthm_prefix_tl - \tl_set:Nn \l__groupthm_name_tl { #3 } - \tl_clear:N \l__groupthm_suffix_tl - \clist_clear:N \l__groupthm_mapname_clist - \clist_clear:N \l__groupthm_thmtools_clist - \hook_gremove_code:nn { __groupthm/prefix }{*} - \hook_gremove_code:nn { __groupthm/suffix }{*} - \hook_gremove_code:nn { __groupthm/mapname }{*} - \hook_gremove_code:nn { __groupthm/thmtools }{*} - \__groupthm_flatten_groups_hierarchy:nN { #2, all } \l__groupthm_group_clist - \clist_map_function:NN \l__groupthm_group_clist \__groupthm_use_group:n - \tl_log:x { Flattened ~ groups ~ '#2' ~ to ~ '\clist_use:Nn \l__groupthm_group_clist {,}' ~ when ~ - defining ~ theorem ~ '#1' } - \hook_use:n { __groupthm/prefix } - \hook_use:n { __groupthm/suffix } - \hook_use:n { __groupthm/mapname } - \hook_use:n { __groupthm/thmtools } - \clist_map_function:NN \l__groupthm_mapname_clist \map_use_on_name:n - \tl_set:Nn \l_tmpa_tl { name = } - \tl_put_right:NV \l_tmpa_tl \l__groupthm_prefix_tl - \tl_put_right:NV \l_tmpa_tl \l__groupthm_name_tl - \tl_put_right:NV \l_tmpa_tl \l__groupthm_suffix_tl - \clist_put_right:NV \l__groupthm_thmtools_clist \l_tmpa_tl - \clist_put_right:Nn \l__groupthm_thmtools_clist { #4 } - \__groupthm_thmtools_declare_theorem:Vn - \l__groupthm_thmtools_clist - { #1 } - } -\__groupthm_define_multiple:nnnNNnn - { new, provide } - { grouped ~ theorem } - { ##1 } - \__groupthm_error: - \__groupthm_define_theorem:nnnn - { groupthm_#1_theorem:nnnn } - { { ##1 } { ##2 } { ##3 } { ##4 } } -\cs_generate_variant:Nn \groupthm_new_theorem:nnnn { n V V V } -\cs_generate_variant:Nn \groupthm_provide_theorem:nnnn { n V V V } -\cs_generate_variant:Nn \groupthm_new_theorem:nnnn { x V n n } -\cs_generate_variant:Nn \groupthm_provide_theorem:nnnn { x V n n } -\__groupthm_wrap_multiple:nnn - { new, provide } - { groupthm_#1_theorem:nnn } - { - \__groupthm_set_normalized_keys:nnn { ##1 } { grouped ~ theorem } { ##2 } - \bool_if:nT { ##3 } - { - \clist_put_left:Nn \l__groupthm_group_clist { unnumbered } - } - \use:c { groupthm_#1_theorem:nVVV } - { ##2 } - \l__groupthm_group_clist - \l__groupthm_name_tl - \l__groupthm_thmtools_clist - \bool_if:NT \l__groupthm_starred_version_bool - { - \clist_put_left:Nn \l__groupthm_group_clist { starred } - \use:c { groupthm_#1_theorem:nVVV } - { ##2* } - \l__groupthm_group_clist - \l__groupthm_name_tl - \l__groupthm_thmtools_clist - } - } -\__groupthm_wrap_multiple_document:nnnn - { new, provide } - { \__groupthm_Declarator: GroupedTheorem } - { s O{} m } - { - \use:c { groupthm_#1_theorem:nnn } - { ##2 } - { ##3 } - { ##1 } - } -\cs_new:Npn \__groupthm_define_family:nnnnn #1 #2 #3 #4 #5 - { - \clist_set:Nn \l_tmpa_clist { #2 } - \powerset_clist_foreach:Nn \l_tmpa_clist - { - \clist_set_eq:NN \l__groupthm_group_clist \l_tmpa_clist - \clist_put_right:Nn \l__groupthm_group_clist { #5 } - \__groupthm_sort_group_names: - \use:c{groupthm_new_theorem:xVnn} - {__#1__groups_\clist_use:Nn \l__groupthm_group_clist {_}} - \l__groupthm_group_clist - { #3 } - { #4 } - } - \clist_new:c { __groupthm_family__#1__group_clist } - \clist_set_eq:cN {__groupthm_family__#1__group_clist } \l_tmpa_clist - \clist_new:c { __groupthm_family__#1__always_group_clist } - \clist_set:cn {__groupthm_family__#1__always_group_clist } { #5 } - } -\__groupthm_define_multiple:nnnNNnn - { new, provide } - { theorem ~ family } - { __groupthm_family__##1__group_clist } - \__groupthm_error: - \__groupthm_define_family:nnnnn - { groupthm_#1_family:nnnnn } - { { ##1 } { ##2 } { ##3 } { ##4 } { ##5 }} -\cs_generate_variant:Nn \groupthm_new_family:nnnnn { n V V V V } -\cs_generate_variant:Nn \groupthm_provide_family:nnnnn { n V V V V } -\__groupthm_wrap_multiple:nnn -{ new, provide } -{ groupthm_#1_family:nnn } -{ - \__groupthm_set_normalized_keys:nnn { ##1 } { theorem ~ family } { ##2 } - \bool_if:nTF { ##3} - { - \clist_set:Nn \l_tmpa_clist { unnumbered } - } - { - \clist_clear:N \l_tmpa_clist - } - \bool_if:NT \l__groupthm_starred_version_bool - { - \clist_put_left:Nn \l__groupthm_group_clist { starred } - } - \use:c { groupthm_#1_family:nVVVV } - { ##2 } - \l__groupthm_group_clist - \l__groupthm_name_tl - \l__groupthm_thmtools_clist - \l_tmpa_clist -} -\__groupthm_wrap_multiple_document:nnnn - { new, provide } - { \__groupthm_Declarator: GroupedTheoremFamily } - { s O{} m } - { - \use:c { groupthm_#1_family:nnn } - { ##2 } - { ##3 } - { ##1 } - } -\cs_new:Npn \groupthm_add_theorem_to_group:n #1 - { - \bool_if:NTF \l__groupthm_in_family_options_environment_bool - { - \clist_put_left:Nn \l__groupthm_group_clist { #1 } - } - { - \msg_error:nn { groupthm } { misuse ~ add ~ theorem ~ to ~ group } - } - } - \NewDocumentCommand { \AddTheoremToGroup } { m } - { - \groupthm_add_theorem_to_group:n { #1 } - } -\cs_new:Npn \__groupthm_define_family_options:nnnn #1 #2 #3 #4 - { - \DeclareDocumentEnvironment - { #1 } - { #2 } - { - \clist_clear:N \l__groupthm_group_clist - \bool_set_true:N \l__groupthm_in_family_options_environment_bool - #3 - \bool_set_false:N \l__groupthm_in_family_options_environment_bool - \clist_put_right:Nn \l__groupthm_group_clist { #4 } - \__groupthm_sort_group_names: - \cs_if_exist:cTF { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } } - { - \begin { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } } - } - { - \msg_error:nnxx { groupthm } { undefined ~ theorem ~ variant } - { #1 } - { \clist_use:Nnnn \l__groupthm_group_clist { ~ and ~ } {, ~} { , ~ and ~ } } - } - } - { - \clist_clear:N \l__groupthm_group_clist - \bool_set_true:N \l__groupthm_in_family_options_environment_bool - #3 - \bool_set_false:N \l__groupthm_in_family_options_environment_bool - \clist_put_right:Nn \l__groupthm_group_clist { #4 } - \__groupthm_sort_group_names: - \end { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } } - } - } -\__groupthm_define_multiple:nnnNNnn - { new, renew, provide, declare } - { theorem ~ family ~ options } - { ##1 } - \use_none:n - \__groupthm_define_family_options:nnnn - { groupthm_#1_family_options:nnnn } - { { ##1 } { ##2 } { ##3 } { ##4 } } -\cs_generate_variant:Nn \groupthm_new_family_options:nnnn { n n n V } -\cs_generate_variant:Nn \groupthm_renew_family_options:nnnn { n n n V } -\cs_generate_variant:Nn \groupthm_provide_family_options:nnnn { n n n V } -\cs_generate_variant:Nn \groupthm_declare_family_options:nnnn { n n n V } -\__groupthm_wrap_multiple_document:nnnn - { new, renew, provide, declare } - { \__groupthm_Declarator: GroupedTheoremFamilyOptions } - { s O{} m m m } - { - \keys_set:nn { groupthm / theorem ~ family ~ options } { starred ~ version } - \keys_set:nn { groupthm / theorem ~ family ~ options } { ##2 } - \bool_if:nTF { ##1 } - { - \clist_set:Nn \l_tmpa_clist { unnumbered } - } - { - \clist_clear:N \l_tmpa_clist - } - \use:c { groupthm_#1_family_options:nnnV } - { ##3 } - { ##4 } - { ##5 } - \l_tmpa_clist - \bool_if:NT \l__groupthm_starred_version_bool - { - \use:c { groupthm_#1_family_options:nnnV } - { ##3* } - { ##4 } - { - ##5 - \groupthm_add_theorem_to_group:n { starred } - } - \l_tmpa_clist - } - } -\endinput -%% -%% End of file `groupthm.sty'. diff --git a/src/environments/groupthm/groupthm.toc b/src/environments/groupthm/groupthm.toc deleted file mode 100644 index 7b15ccf..0000000 --- a/src/environments/groupthm/groupthm.toc +++ /dev/null @@ -1,28 +0,0 @@ -\contentsline {section}{\numberline {1}Concepts}{3}{section.0.1}% -\contentsline {subsection}{\numberline {1.1}Theorem groups}{3}{subsection.0.1.1}% -\contentsline {subsection}{\numberline {1.2}Grouped theorems}{3}{subsection.0.1.2}% -\contentsline {subsection}{\numberline {1.3}Theorem families}{3}{subsection.0.1.3}% -\contentsline {subsection}{\numberline {1.4}General notions}{4}{subsection.0.1.4}% -\contentsline {section}{\numberline {2}Theorem groups}{5}{section.0.2}% -\contentsline {subsection}{\numberline {2.1}Defining theorem groups}{5}{subsection.0.2.1}% -\contentsline {subsection}{\numberline {2.2}Controlling theorem group precedence}{6}{subsection.0.2.2}% -\contentsline {subsection}{\numberline {2.3}Inheritance of theorem groups}{6}{subsection.0.2.3}% -\contentsline {subsection}{\numberline {2.4}Appending to theorem groups}{7}{subsection.0.2.4}% -\contentsline {subsection}{\numberline {2.5}Default theorem groups}{7}{subsection.0.2.5}% -\contentsline {section}{\numberline {3}Grouped Theorems}{8}{section.0.3}% -\contentsline {subsection}{\numberline {3.1}Defining grouped theorems}{8}{subsection.0.3.1}% -\contentsline {subsection}{\numberline {3.2}Defining families of grouped theorems}{9}{subsection.0.3.2}% -\contentsline {section}{\numberline {4}\LaTeX 3 interface}{10}{section.0.4}% -\contentsline {subsection}{\numberline {4.1}Theorem groups}{11}{subsection.0.4.1}% -\contentsline {subsection}{\numberline {4.2}Grouped theorems}{11}{subsection.0.4.2}% -\contentsline {subsection}{\numberline {4.3}Theorem families}{12}{subsection.0.4.3}% -\contentsline {section}{\numberline {5}\pkg {groupthm} implementation}{12}{section.0.5}% -\contentsline {subsection}{\numberline {5.1}Dependencies}{12}{subsection.0.5.1}% -\contentsline {subsection}{\numberline {5.2}Messages}{13}{subsection.0.5.2}% -\contentsline {subsection}{\numberline {5.3}Allocation and initialization}{14}{subsection.0.5.3}% -\contentsline {subsection}{\numberline {5.4}Key interface}{15}{subsection.0.5.4}% -\contentsline {subsection}{\numberline {5.5}Theorem groups}{17}{subsection.0.5.5}% -\contentsline {subsection}{\numberline {5.6}Iterating over powersets}{27}{subsection.0.5.6}% -\contentsline {subsection}{\numberline {5.7}Grouped Theorems}{28}{subsection.0.5.7}% -\contentsline {subsection}{\numberline {5.8}Theorem families}{31}{subsection.0.5.8}% -\contentsline {subsection}{\numberline {5.9}Theorem family options}{33}{subsection.0.5.9}%