diff --git a/src/environments/fancythm/.latexmkrc b/src/environments/fancythm/.latexmkrc new file mode 100644 index 0000000..98e6bce --- /dev/null +++ b/src/environments/fancythm/.latexmkrc @@ -0,0 +1,7 @@ +@default_files = ("fancythm.dtx"); +$makeindex = "makeindex -s gind.ist %O -o %D %S"; +$clean_ext .= ' glo'; +$clean_ext .= ' hd'; +$clean_ext .= ' ins'; +$clean_full_ext .= ' sty'; +$emulate_aux = 1; diff --git a/src/environments/fancythm/Makefile b/src/environments/fancythm/Makefile index fbaf459..d59b981 100644 --- a/src/environments/fancythm/Makefile +++ b/src/environments/fancythm/Makefile @@ -1,21 +1,10 @@ -sty: clean-sty - pdflatex fancythm.ins - -all: clean pdf sty - pdf: - pdflatex fancythm.dtx - makeindex -s gind.ist fancythm.idx - pdflatex fancythm.dtx + latexmk -clean: clean-sty - latexmk -c fancythm.dtx - rm -f fancythm.hd - rm -f fancythm.glo - rm -f fancythm.pdf +full: + latexmk -gg -clean-sty: - rm -f fancythm.sty - rm -f fancythm.tdo +clean: + latexmk -C -.PHONY: pdf clean +.PHONY: clean diff --git a/src/environments/fancythm/fancythm.aux b/src/environments/fancythm/fancythm.aux deleted file mode 100644 index 3a40389..0000000 --- a/src/environments/fancythm/fancythm.aux +++ /dev/null @@ -1,30 +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}\pkg {fancythm} implementation}{1}{section.0.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Dependencies}{1}{subsection.0.1.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Counter management}{1}{subsection.0.1.2}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Counter management}{3}{subsection.0.1.3}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Initialization}{3}{subsection.0.1.4}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.5}Key interface}{4}{subsection.0.1.5}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.6}Fancy theorems}{6}{subsection.0.1.6}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {1.7}Provided resources}{8}{subsection.0.1.7}\protected@file@percent } -\providecommand\HD@SetMacroIndent[1]{} -\HD@SetMacroIndent{360} -\gdef \@abspage@last{11} diff --git a/src/environments/fancythm/fancythm.glo b/src/environments/fancythm/fancythm.glo deleted file mode 100644 index e69de29..0000000 diff --git a/src/environments/fancythm/fancythm.hd b/src/environments/fancythm/fancythm.hd deleted file mode 100644 index e69de29..0000000 diff --git a/src/environments/fancythm/fancythm.idx b/src/environments/fancythm/fancythm.idx deleted file mode 100644 index 72d87e4..0000000 --- a/src/environments/fancythm/fancythm.idx +++ /dev/null @@ -1,320 +0,0 @@ -\indexentry{RequirePackage={\verbatim@font !\verb*&!\RequirePackage&}|hdclindex{3}{}}{3} -\indexentry{RequirePackage={\verbatim@font !\verb*&!\RequirePackage&}|hdclindex{4}{}}{4} -\indexentry{RequirePackage={\verbatim@font !\verb*&!\RequirePackage&}|hdclindex{5}{}}{5} -\indexentry{arabic commands:=\pkg{arabic} commands:>arabic:n={\verbatim@font !\verb*&!\arabic:n&}|hdclindex{6}{main}}{6} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&new:n&}|hdclindex{6}{main}}{6} -\indexentry{counter commands:=\pkg{counter} commands:>counter_within:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&within:nn&}|hdclindex{6}{main}}{6} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&new:nn&}|hdclindex{6}{main}}{6} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set_eq:NN={\verbatim@font !\verb*&!\cs&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{7}{}}{6} -\indexentry{arabic={\verbatim@font !\verb*&!\arabic&}|hdclindex{7}{}}{6} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set_eq:NN={\verbatim@font !\verb*&!\cs&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{8}{}}{7} -\indexentry{newcounter={\verbatim@font !\verb*&!\newcounter&}|hdclindex{8}{}}{7} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set_eq:NN={\verbatim@font !\verb*&!\cs&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{9}{}}{8} -\indexentry{counterwithin={\verbatim@font !\verb*&!\counterwithin&}|hdclindex{9}{}}{8} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{10}{}}{9} -\indexentry{counter commands:=\pkg{counter} commands:>counter_if_exist_p:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:n&}|hdclindex{15}{main}}{14} -\indexentry{counter commands:=\pkg{counter} commands:>counter_if_exist:nTF={\verbatim@font !\verb*&!\counter&!\_!\verb*&if&!\_!\verb*&exist:nTF&}|hdclindex{15}{main}}{14} -\indexentry{counter commands:=\pkg{counter} commands:>counter_if_exist:TF={\verbatim@font !\verb*&!\counter&!\_!\verb*&if&!\_!\verb*&exist:TF&}|hdclindex{15}{main}}{14} -\indexentry{counter commands:=\pkg{counter} commands:>counter_if_exist:nTF={\verbatim@font !\verb*&!\counter&!\_!\verb*&if&!\_!\verb*&exist:nTF&}|hdclindex{15}{main}}{14} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{16}{}}{14} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{18}{}}{16} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{20}{}}{18} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{22}{}}{20} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{24}{}}{22} -\indexentry{counter commands:=\pkg{counter} commands:>counter_if_exist:nTF={\verbatim@font !\verb*&!\counter&!\_!\verb*&if&!\_!\verb*&exist:nTF&}|hdclindex{24}{}}{22} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{26}{}}{24} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{28}{}}{26} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{30}{}}{28} -\indexentry{counter commands:=\pkg{counter} commands:>counter_undefined_error:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&undefined&!\_!\verb*&error:n&}|hdclindex{32}{main}}{30} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set_eq:NN={\verbatim@font !\verb*&!\cs&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{33}{}}{30} -\indexentry{counter commands:=\pkg{counter} commands:>counter_ensure_exist:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&ensure&!\_!\verb*&exist:n&}|hdclindex{34}{main}}{31} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{35}{}}{31} -\indexentry{counter commands:=\pkg{counter} commands:>counter_if_exist:nTF={\verbatim@font !\verb*&!\counter&!\_!\verb*&if&!\_!\verb*&exist:nTF&}|hdclindex{37}{}}{33} -\indexentry{counter commands:=\pkg{counter} commands:>counter_undefined_error:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&undefined&!\_!\verb*&error:n&}|hdclindex{39}{}}{35} -\indexentry{counter commands:=\pkg{counter} commands:>counter_the:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&the:n&}|hdclindex{42}{main}}{38} -\indexentry{counter commands:=\pkg{counter} commands:>counter_set_the:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&set&!\_!\verb*&the:nn&}|hdclindex{42}{main}}{38} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{43}{}}{38} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{45}{}}{40} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{47}{}}{42} -\indexentry{counter commands:=\pkg{counter} commands:>counter_ensure_exist:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&ensure&!\_!\verb*&exist:n&}|hdclindex{49}{}}{44} -\indexentry{exp commands:=\pkg{exp} commands:>exp_args:Nc={\verbatim@font !\verb*&!\exp&!\_!\verb*&args:Nc&}|hdclindex{50}{}}{45} -\indexentry{renewcommand={\verbatim@font !\verb*&!\renewcommand&}|hdclindex{50}{}}{45} -\indexentry{counter commands:=\pkg{counter} commands:>counter_sub:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&sub:nn&}|hdclindex{52}{main}}{47} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{53}{}}{47} -\indexentry{counter commands:=\pkg{counter} commands:>counter_within:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&within:nn&}|hdclindex{55}{}}{49} -\indexentry{counter commands:=\pkg{counter} commands:>counter_set_the:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&set&!\_!\verb*&the:nn&}|hdclindex{56}{}}{50} -\indexentry{counter commands:=\pkg{counter} commands:>counter_the:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&the:n&}|hdclindex{58}{}}{52} -\indexentry{arabic commands:=\pkg{arabic} commands:>arabic:n={\verbatim@font !\verb*&!\arabic:n&}|hdclindex{58}{}}{52} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new_sub:nn#1 #2={\verbatim@font !\verb*&!\counter&!\_!\verb*&new&!\_!\verb*&sub:nn#1 #2&}|hdclindex{61}{main}}{55} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{62}{}}{55} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new_sub:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&new&!\_!\verb*&sub:nn&}|hdclindex{62}{}}{55} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&new:n&}|hdclindex{64}{}}{57} -\indexentry{counter commands:=\pkg{counter} commands:>counter_sub:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&sub:nn&}|hdclindex{65}{}}{58} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_counter_sub_if_exist:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&counter&!\_!\verb*&sub&!\_!\verb*&if&!\_!\verb*&exist:n&}|hdclindex{68}{main}}{61} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{69}{}}{61} -\indexentry{counter commands:=\pkg{counter} commands:>counter_sub:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&sub:nn&}|hdclindex{52}{usage}}{2} -\indexentry{counter commands:=\pkg{counter} commands:>counter_if_exist:nTF={\verbatim@font !\verb*&!\counter&!\_!\verb*&if&!\_!\verb*&exist:nTF&}|hdclindex{71}{}}{63} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new_sub:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&new&!\_!\verb*&sub:nn&}|hdclindex{73}{}}{65} -\indexentry{counter commands:=\pkg{counter} commands:>counter_alias:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&alias:nn&}|hdclindex{76}{main}}{68} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set_eq:NN={\verbatim@font !\verb*&!\cs&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{77}{}}{68} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{78}{}}{69} -\indexentry{indocument={\verbatim@font !\verb*&indocument&}|hdclindex{79}{main}}{70} -\indexentry{insection={\verbatim@font !\verb*&insection&}|hdclindex{79}{main}}{70} -\indexentry{insubsection={\verbatim@font !\verb*&insubsection&}|hdclindex{79}{main}}{70} -\indexentry{inchapter={\verbatim@font !\verb*&inchapter&}|hdclindex{79}{main}}{70} -\indexentry{inpart={\verbatim@font !\verb*&inpart&}|hdclindex{79}{main}}{70} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new:n={\verbatim@font !\verb*&!\counter&!\_!\verb*&new:n&}|hdclindex{80}{}}{70} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_counter_sub_if_exist:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&counter&!\_!\verb*&sub&!\_!\verb*&if&!\_!\verb*&exist:n&}|hdclindex{81}{}}{71} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_counter_sub_if_exist:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&counter&!\_!\verb*&sub&!\_!\verb*&if&!\_!\verb*&exist:n&}|hdclindex{82}{}}{72} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_counter_sub_if_exist:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&counter&!\_!\verb*&sub&!\_!\verb*&if&!\_!\verb*&exist:n&}|hdclindex{83}{}}{73} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_counter_sub_if_exist:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&counter&!\_!\verb*&sub&!\_!\verb*&if&!\_!\verb*&exist:n&}|hdclindex{84}{}}{74} -\indexentry{toplevel={\verbatim@font !\verb*&toplevel&}|hdclindex{85}{main}}{75} -\indexentry{sublevel={\verbatim@font !\verb*&sublevel&}|hdclindex{85}{main}}{75} -\indexentry{subsublevel={\verbatim@font !\verb*&subsublevel&}|hdclindex{85}{main}}{75} -\indexentry{subsubsublevel={\verbatim@font !\verb*&subsubsublevel&}|hdclindex{85}{main}}{75} -\indexentry{counter commands:=\pkg{counter} commands:>counter_alias:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&alias:nn&}|hdclindex{86}{}}{75} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new_sub:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&new&!\_!\verb*&sub:nn&}|hdclindex{87}{}}{76} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new_sub:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&new&!\_!\verb*&sub:nn&}|hdclindex{88}{}}{77} -\indexentry{counter commands:=\pkg{counter} commands:>counter_new_sub:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&new&!\_!\verb*&sub:nn&}|hdclindex{89}{}}{78} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_style_str={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&fancythm&!\_!\verb*&style&!\_!\verb*&str&}|hdclindex{90}{main}}{79} -\indexentry{str commands:=\pkg{str} commands:>str_new:N={\verbatim@font !\verb*&!\str&!\_!\verb*&new:N&}|hdclindex{91}{}}{79} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_translator_bool={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&fancythm&!\_!\verb*&translator&!\_!\verb*&bool&}|hdclindex{92}{main}}{80} -\indexentry{bool commands:=\pkg{bool} commands:>bool_new:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&new:N&}|hdclindex{93}{}}{80} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_generate_defaults_bool={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&fancythm&!\_!\verb*&generate&!\_!\verb*&defaults&!\_!\verb*&bool&}|hdclindex{94}{main}}{81} -\indexentry{bool commands:=\pkg{bool} commands:>bool_new:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&new:N&}|hdclindex{95}{}}{81} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{96}{main}}{82} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_mdframed_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&mdframed&!\_!\verb*&tl&}|hdclindex{96}{main}}{82} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_style_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&style&!\_!\verb*&tl&}|hdclindex{96}{main}}{82} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{96}{main}}{82} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{96}{main}}{82} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{97}{}}{82} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{98}{}}{83} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{99}{}}{84} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{100}{}}{85} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{101}{}}{86} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{102}{main}}{87} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{102}{main}}{87} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{102}{main}}{87} -\indexentry{counter commands:=\pkg{counter} commands:>counter_alias:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&alias:nn&}|hdclindex{76}{usage}}{3} -\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{103}{}}{87} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{104}{}}{88} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{105}{}}{89} -\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{106}{}}{90} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_translator_bool={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&fancythm&!\_!\verb*&translator&!\_!\verb*&bool&}|hdclindex{108}{}}{92} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_generate_defaults_bool={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&fancythm&!\_!\verb*&generate&!\_!\verb*&defaults&!\_!\verb*&bool&}|hdclindex{110}{}}{94} -\indexentry{counter commands:=\pkg{counter} commands:>counter_alias:nn={\verbatim@font !\verb*&!\counter&!\_!\verb*&alias:nn&}|hdclindex{115}{}}{99} -\indexentry{tl commands:=\pkg{tl} commands:>tl_use:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&use:N&}|hdclindex{115}{}}{99} -\indexentry{keys commands:=\pkg{keys} commands:>keys_choice_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&choice&!\_!\verb*&tl&}|hdclindex{115}{}}{99} -\indexentry{str commands:=\pkg{str} commands:>str_set:Nn={\verbatim@font !\verb*&!\str&!\_!\verb*&set:Nn&}|hdclindex{121}{}}{105} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_style_str={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&fancythm&!\_!\verb*&style&!\_!\verb*&str&}|hdclindex{121}{}}{105} -\indexentry{tl commands:=\pkg{tl} commands:>tl_use:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&use:N&}|hdclindex{121}{}}{105} -\indexentry{keys commands:=\pkg{keys} commands:>keys_choice_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&choice&!\_!\verb*&tl&}|hdclindex{121}{}}{105} -\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{125}{}}{109} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{127}{}}{111} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{128}{}}{112} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_mdframed_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&mdframed&!\_!\verb*&tl&}|hdclindex{129}{}}{113} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{130}{}}{114} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_style_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&style&!\_!\verb*&tl&}|hdclindex{131}{}}{115} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{132}{}}{116} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{133}{}}{117} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{135}{}}{119} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{138}{}}{122} -\indexentry{ProcessKeysOptions={\verbatim@font !\verb*&!\ProcessKeysOptions&}|hdclindex{139}{}}{123} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{140}{}}{124} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_translator_bool={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&fancythm&!\_!\verb*&translator&!\_!\verb*&bool&}|hdclindex{140}{}}{124} -\indexentry{RequirePackage={\verbatim@font !\verb*&!\RequirePackage&}|hdclindex{142}{}}{126} -\indexentry{usedictionary={\verbatim@font !\verb*&!\usedictionary&}|hdclindex{143}{}}{127} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set_eq:NN={\verbatim@font !\verb*&!\cs&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{144}{}}{128} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_translate:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&translate:n&}|hdclindex{144}{}}{128} -\indexentry{translate={\verbatim@font !\verb*&!\translate&}|hdclindex{144}{}}{128} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set_eq:NN={\verbatim@font !\verb*&!\cs&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{147}{}}{131} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_translate:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&translate:n&}|hdclindex{147}{}}{131} -\indexentry{use commands:=\pkg{use} commands:>use:n={\verbatim@font !\verb*&!\use:n&}|hdclindex{147}{}}{131} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_set_normalized_keys:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nn&}|hdclindex{149}{main}}{133} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{150}{}}{133} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{152}{}}{135} -\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{153}{}}{136} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{154}{}}{137} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{154}{}}{137} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{154}{}}{137} -\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{155}{}}{138} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{155}{}}{138} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{155}{}}{138} -\indexentry{tl commands:=\pkg{tl} commands:>tl_if_eq:NnTF={\verbatim@font !\verb*&!\tl&!\_!\verb*&if&!\_!\verb*&eq:NnTF&}|hdclindex{156}{}}{139} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_mdframed_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&mdframed&!\_!\verb*&tl&}|hdclindex{156}{}}{139} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{156}{}}{139} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{158}{}}{141} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{158}{}}{141} -\indexentry{tl commands:=\pkg{tl} commands:>tl_use:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&use:N&}|hdclindex{160}{}}{143} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_mdframed_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&mdframed&!\_!\verb*&tl&}|hdclindex{160}{}}{143} -\indexentry{tl commands:=\pkg{tl} commands:>tl_if_eq:NnTF={\verbatim@font !\verb*&!\tl&!\_!\verb*&if&!\_!\verb*&eq:NnTF&}|hdclindex{163}{}}{146} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_style_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&style&!\_!\verb*&tl&}|hdclindex{163}{}}{146} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{163}{}}{146} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{165}{}}{148} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{165}{}}{148} -\indexentry{tl commands:=\pkg{tl} commands:>tl_use:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&use:N&}|hdclindex{167}{}}{150} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_style_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&style&!\_!\verb*&tl&}|hdclindex{167}{}}{150} -\indexentry{tl commands:=\pkg{tl} commands:>tl_if_eq:NnTF={\verbatim@font !\verb*&!\tl&!\_!\verb*&if&!\_!\verb*&eq:NnTF&}|hdclindex{170}{}}{153} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{170}{}}{153} -\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{170}{}}{153} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{172}{}}{155} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{172}{}}{155} -\indexentry{text commands:=\pkg{text} commands:>text_titlecase_first:n={\verbatim@font !\verb*&!\text&!\_!\verb*&titlecase&!\_!\verb*&first:n&}|hdclindex{174}{}}{157} -\indexentry{tl commands:=\pkg{tl} commands:>tl_trim_spaces:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&trim&!\_!\verb*&spaces:n&}|hdclindex{174}{}}{157} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set_eq:NN={\verbatim@font !\verb*&!\tl&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{178}{}}{161} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{178}{}}{161} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{178}{}}{161} -\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{180}{}}{163} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{180}{}}{163} -\indexentry{exp commands:=\pkg{exp} commands:>exp_not:N={\verbatim@font !\verb*&!\exp&!\_!\verb*¬:N&}|hdclindex{182}{}}{165} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_translate:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&translate:n&}|hdclindex{182}{}}{165} -\indexentry{tl commands:=\pkg{tl} commands:>tl_use:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&use:N&}|hdclindex{182}{}}{165} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{182}{}}{165} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_translate:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&translate:n&}|hdclindex{139}{usage}}{5} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_set_normalized_keys:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nn&}|hdclindex{149}{usage}}{5} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{185}{main}}{168} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{186}{}}{168} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{188}{}}{170} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{188}{}}{170} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Nn&}|hdclindex{190}{}}{172} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:nN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:nN&}|hdclindex{195}{}}{177} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{195}{}}{177} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_new_theorem:nnnn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{197}{main}}{179} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_theorem:nnnn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&theorem:nnnn&}|hdclindex{197}{main}}{179} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{198}{}}{179} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{202}{}}{183} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{203}{}}{184} -\indexentry{IfBooleanT={\verbatim@font !\verb*&!\IfBooleanT&}|hdclindex{207}{}}{188} -\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{209}{}}{190} -\indexentry{IfBooleanT={\verbatim@font !\verb*&!\IfBooleanT&}|hdclindex{211}{}}{192} -\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{213}{}}{194} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{218}{}}{199} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{219}{}}{200} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_new_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&new&!\_!\verb*&theorem:nn&}|hdclindex{220}{main}}{201} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{221}{}}{201} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{185}{usage}}{6} -\indexentry{declarator={\verbatim@font !\verb*&!\declarator&}|hdclindex{185}{usage}}{6} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_new_theorem:nnnn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{197}{usage}}{6} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_set_normalized_keys:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nn&}|hdclindex{225}{}}{205} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{226}{}}{206} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{228}{}}{208} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{229}{}}{209} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{230}{}}{210} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{232}{main}}{212} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{233}{}}{212} -\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{235}{}}{214} -\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{237}{}}{216} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{238}{main}}{217} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{239}{}}{217} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{241}{}}{219} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{241}{}}{219} -\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Nn&}|hdclindex{243}{}}{221} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&Declarator:&}|hdclindex{243}{}}{221} -\indexentry{text commands:=\pkg{text} commands:>text_titlecase_first:n={\verbatim@font !\verb*&!\text&!\_!\verb*&titlecase&!\_!\verb*&first:n&}|hdclindex{243}{}}{221} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{244}{}}{222} -\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:nN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:nN&}|hdclindex{246}{}}{224} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{246}{}}{224} -\indexentry{NewFancyTheorem={\verbatim@font !\verb*&!\NewFancyTheorem&}|hdclindex{248}{main}}{226} -\indexentry{ProvideFancyTheorem={\verbatim@font !\verb*&!\ProvideFancyTheorem&}|hdclindex{248}{main}}{226} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{249}{}}{226} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&Declarator:&}|hdclindex{251}{}}{228} -\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{254}{}}{231} -\indexentry{star={\verbatim@font !\verb*&star&}|hdclindex{256}{main}}{233} -\indexentry{dagger={\verbatim@font !\verb*&dagger&}|hdclindex{256}{main}}{233} -\indexentry{big={\verbatim@font !\verb*&big&}|hdclindex{256}{main}}{233} -\indexentry{small={\verbatim@font !\verb*&small&}|hdclindex{256}{main}}{233} -\indexentry{tiny={\verbatim@font !\verb*&tiny&}|hdclindex{256}{main}}{233} -\indexentry{custom={\verbatim@font !\verb*&custom&}|hdclindex{256}{main}}{233} -\indexentry{fanythm commands:=\pkg{fanythm} commands:>fanythm_new_theorem:nn={\verbatim@font !\verb*&!\fanythm&!\_!\verb*&new&!\_!\verb*&theorem:nn&}|hdclindex{220}{usage}}{7} -\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{232}{usage}}{7} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{238}{usage}}{7} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{238}{usage}}{7} -\indexentry{declarator={\verbatim@font !\verb*&!\declarator&}|hdclindex{238}{usage}}{7} -\indexentry{Declarator={\verbatim@font !\verb*&!\Declarator&}|hdclindex{238}{usage}}{7} -\indexentry{NewFancyTheorem={\verbatim@font !\verb*&!\NewFancyTheorem&}|hdclindex{248}{usage}}{7} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{257}{}}{233} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{258}{}}{234} -\indexentry{dagger={\verbatim@font !\verb*&!\dagger&}|hdclindex{258}{}}{234} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{259}{}}{235} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{260}{}}{236} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{261}{}}{237} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{262}{}}{238} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{263}{}}{239} -\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{264}{}}{240} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{265}{}}{241} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{266}{}}{242} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{267}{}}{243} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{268}{}}{244} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{269}{}}{245} -\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{270}{}}{246} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_add_provided_theorem_to_group:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&add&!\_!\verb*&provided&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{271}{main}}{247} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{272}{}}{247} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{274}{}}{249} -\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{276}{}}{251} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{278}{}}{253} -\indexentry{AddProvidedFancyTheoremToGroup={\verbatim@font !\verb*&!\AddProvidedFancyTheoremToGroup&}|hdclindex{280}{main}}{255} -\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{281}{}}{255} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_add_provided_theorem_to_group:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&add&!\_!\verb*&provided&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{283}{}}{257} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_provide_package_theorem:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&provide&!\_!\verb*&package&!\_!\verb*&theorem:nnn&}|hdclindex{285}{main}}{259} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{286}{}}{259} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_set_normalized_keys:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nn&}|hdclindex{288}{}}{261} -\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{289}{}}{262} -\indexentry{clist commands:=\pkg{clist} commands:>clist_concat:NNN={\verbatim@font !\verb*&!\clist&!\_!\verb*&concat:NNN&}|hdclindex{291}{}}{264} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_provide_package_theorem:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&provide&!\_!\verb*&package&!\_!\verb*&theorem:nnn&}|hdclindex{285}{usage}}{8} -\indexentry{clist commands:=\pkg{clist} commands:>clist_if_in:NnTF={\verbatim@font !\verb*&!\clist&!\_!\verb*&if&!\_!\verb*&in:NnTF&}|hdclindex{296}{}}{269} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{296}{}}{269} -\indexentry{clist commands:=\pkg{clist} commands:>clist_if_in:NnTF={\verbatim@font !\verb*&!\clist&!\_!\verb*&if&!\_!\verb*&in:NnTF&}|hdclindex{298}{}}{271} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{298}{}}{271} -\indexentry{clist commands:=\pkg{clist} commands:>clist_if_in:NnTF={\verbatim@font !\verb*&!\clist&!\_!\verb*&if&!\_!\verb*&in:NnTF&}|hdclindex{300}{}}{273} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{300}{}}{273} -\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{302}{}}{275} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{302}{}}{275} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_theorem:nnnn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&theorem:nnnn&}|hdclindex{306}{}}{279} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{308}{}}{281} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{309}{}}{282} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&fancythm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{310}{}}{283} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{312}{main}}{285} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{313}{}}{285} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_provide_package_theorem:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&provide&!\_!\verb*&package&!\_!\verb*&theorem:nnn&}|hdclindex{315}{}}{287} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{317}{main}}{289} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{318}{}}{289} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_provide_package_theorem:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&provide&!\_!\verb*&package&!\_!\verb*&theorem:nnn&}|hdclindex{320}{}}{291} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{322}{main}}{293} -\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{323}{}}{293} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_provide_package_theorem:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&fancythm&!\_!\verb*&provide&!\_!\verb*&package&!\_!\verb*&theorem:nnn&}|hdclindex{325}{}}{295} -\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{327}{}}{297} -\indexentry{fancythm internal commands:=\pkg{fancythm} internal commands:>fancythm_generate_defaults_bool={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&fancythm&!\_!\verb*&generate&!\_!\verb*&defaults&!\_!\verb*&bool&}|hdclindex{327}{}}{297} -\indexentry{AddToHook={\verbatim@font !\verb*&!\AddToHook&}|hdclindex{329}{}}{299} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{331}{}}{301} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{332}{}}{302} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{333}{}}{303} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{334}{}}{304} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{335}{}}{305} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{336}{}}{306} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{337}{}}{307} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{342}{}}{312} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_big_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&big&!\_!\verb*&theorem:nn&}|hdclindex{347}{}}{317} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{352}{}}{322} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{353}{}}{323} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{354}{}}{324} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{355}{}}{325} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{356}{}}{326} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{357}{}}{327} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{358}{}}{328} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{363}{}}{333} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_small_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&small&!\_!\verb*&theorem:nn&}|hdclindex{368}{}}{338} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{373}{}}{343} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{374}{}}{344} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{375}{}}{345} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{376}{}}{346} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{377}{}}{347} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{378}{}}{348} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{379}{}}{349} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{380}{}}{350} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{381}{}}{351} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{382}{}}{352} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{383}{}}{353} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{384}{}}{354} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{385}{}}{355} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{386}{}}{356} -\indexentry{fancythm commands:=\pkg{fancythm} commands:>fancythm_provide_tiny_theorem:nn={\verbatim@font !\verb*&!\fancythm&!\_!\verb*&provide&!\_!\verb*&tiny&!\_!\verb*&theorem:nn&}|hdclindex{387}{}}{357} diff --git a/src/environments/fancythm/fancythm.ilg b/src/environments/fancythm/fancythm.ilg deleted file mode 100644 index 85216c9..0000000 --- a/src/environments/fancythm/fancythm.ilg +++ /dev/null @@ -1,14 +0,0 @@ -This is makeindex, version 2.15 [TeX Live 2020] (kpathsea + Thai support). -Scanning style file /usr/share/texlive/texmf-dist/makeindex/latex/gind.ist.......... -** Input style error (file = /usr/share/texlive/texmf-dist/makeindex/latex/gind.ist, line = 70): - -- Unknown specifier lethead_prefix. -** Input style error (file = /usr/share/texlive/texmf-dist/makeindex/latex/gind.ist, line = 71): - -- Unknown specifier lethead_suffix. -** Input style error (file = /usr/share/texlive/texmf-dist/makeindex/latex/gind.ist, line = 72): - -- Unknown specifier lethead_flag. -...done (13 attributes redefined, 3 ignored). -Scanning input file fancythm.idx....done (320 entries accepted, 0 rejected). -Sorting entries.....done (2753 comparisons). -Generating output file fancythm.ind....done (376 lines written, 0 warnings). -Output written in fancythm.ind. -Transcript written in fancythm.ilg. diff --git a/src/environments/fancythm/fancythm.ind b/src/environments/fancythm/fancythm.ind deleted file mode 100644 index ac37fed..0000000 --- a/src/environments/fancythm/fancythm.ind +++ /dev/null @@ -1,376 +0,0 @@ - - \begin{theindex} - \makeatletter\scan@allowedfalse -{\bfseries\hfil A\hfil}\nopagebreak - - \item {\verbatim@font \verb*&\AddProvidedFancyTheoremToGroup&}\pfill - \hdclindex{280}{main}{255} - \item {\verbatim@font \verb*&\AddToHook&}\pfill - \hdclindex{329}{}{299} - \item {\verbatim@font \verb*&\arabic&}\pfill \hdclindex{7}{}{6} - \item \pkg{arabic} commands:\efill - \subitem {\verbatim@font \verb*&\arabic:n&}\pfill - \hdclindex{6}{main}{6}, \hdclindex{58}{}{52} - - \indexspace -{\bfseries\hfil B\hfil}\nopagebreak - - \item {\verbatim@font \verb*&big&}\pfill \hdclindex{256}{main}{233} - \item \pkg{bool} commands:\efill - \subitem {\verbatim@font \verb*&\bool&\_\verb*&if:NTF&}\pfill - \hdclindex{140}{}{124}, \hdclindex{327}{}{297} - \subitem {\verbatim@font \verb*&\bool&\_\verb*&new:N&}\pfill - \hdclindex{93}{}{80}, \hdclindex{95}{}{81} - - \indexspace -{\bfseries\hfil C\hfil}\nopagebreak - - \item \pkg{clist} commands:\efill - \subitem {\verbatim@font \verb*&\clist&\_\verb*&concat:NNN&}\pfill - \hdclindex{291}{}{264} - \subitem {\verbatim@font \verb*&\clist&\_\verb*&if&\_\verb*&in:NnTF&}\pfill - \hdclindex{296}{}{269}, \hdclindex{298}{}{271}, - \hdclindex{300}{}{273} - \subitem {\verbatim@font \verb*&\clist&\_\verb*&map&\_\verb*&function:nN&}\pfill - \hdclindex{195}{}{177}, \hdclindex{246}{}{224} - \subitem {\verbatim@font \verb*&\clist&\_\verb*&new:N&}\pfill - \hdclindex{100}{}{85}, \hdclindex{101}{}{86}, - \hdclindex{104}{}{88}, \hdclindex{105}{}{89}, - \hdclindex{276}{}{251} - \subitem {\verbatim@font \verb*&\clist&\_\verb*&put&\_\verb*&left:Nn&}\pfill - \hdclindex{278}{}{253} - \subitem {\verbatim@font \verb*&\clist&\_\verb*&put&\_\verb*&right:Nn&}\pfill - \hdclindex{158}{}{141}, \hdclindex{165}{}{148}, - \hdclindex{302}{}{275} - \subitem {\verbatim@font \verb*&\clist&\_\verb*&set&\_\verb*&eq:NN&}\pfill - \hdclindex{154}{}{137}, \hdclindex{155}{}{138} - \item \pkg{counter} commands:\efill - \subitem {\verbatim@font \verb*&\counter&\_\verb*&alias:nn&}\pfill - \hdclindex{76}{usage}{3}, \hdclindex{76}{main}{68}, - \hdclindex{86}{}{75}, \hdclindex{115}{}{99} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&ensure&\_\verb*&exist:n&}\pfill - \hdclindex{34}{main}{31}, \hdclindex{49}{}{44} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&if&\_\verb*&exist:nTF&}\pfill - \hdclindex{15}{main}{14}, \hdclindex{24}{}{22}, - \hdclindex{37}{}{33}, \hdclindex{71}{}{63} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&if&\_\verb*&exist:TF&}\pfill - \hdclindex{15}{main}{14} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&if&\_\verb*&exist&\_\verb*&p:n&}\pfill - \hdclindex{15}{main}{14} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&new:n&}\pfill - \hdclindex{6}{main}{6}, \hdclindex{64}{}{57}, - \hdclindex{80}{}{70} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&new:nn&}\pfill - \hdclindex{6}{main}{6} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&new&\_\verb*&sub:nn&}\pfill - \hdclindex{62}{}{55}, \hdclindex{73}{}{65}, - \hdclindex{87}{}{76}, \hdclindex{88}{}{77}, - \hdclindex{89}{}{78} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&new&\_\verb*&sub:nn#1 #2&}\pfill - \hdclindex{61}{main}{55} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&set&\_\verb*&the:nn&}\pfill - \hdclindex{42}{main}{38}, \hdclindex{56}{}{50} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&sub:nn&}\pfill - \hdclindex{52}{usage}{2}, \hdclindex{52}{main}{47}, - \hdclindex{65}{}{58} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&the:n&}\pfill - \hdclindex{42}{main}{38}, \hdclindex{58}{}{52} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&undefined&\_\verb*&error:n&}\pfill - \hdclindex{32}{main}{30}, \hdclindex{39}{}{35} - \subitem {\verbatim@font \verb*&\counter&\_\verb*&within:nn&}\pfill - \hdclindex{6}{main}{6}, \hdclindex{55}{}{49} - \item {\verbatim@font \verb*&\counterwithin&}\pfill - \hdclindex{9}{}{8} - \item \pkg{cs} commands:\efill - \subitem {\verbatim@font \verb*&\cs&\_\verb*&generate&\_\verb*&variant:Nn&}\pfill - \hdclindex{78}{}{69}, \hdclindex{218}{}{199}, - \hdclindex{219}{}{200}, \hdclindex{237}{}{216} - \subitem {\verbatim@font \verb*&\cs&\_\verb*&if&\_\verb*&exist:NTF&}\pfill - \hdclindex{22}{}{20}, \hdclindex{26}{}{24}, - \hdclindex{30}{}{28}, \hdclindex{274}{}{249}, - \hdclindex{289}{}{262} - \subitem {\verbatim@font \verb*&\cs&\_\verb*&if&\_\verb*&exist&\_\verb*&p:N&}\pfill - \hdclindex{18}{}{16} - \subitem {\verbatim@font \verb*&\cs&\_\verb*&new:Nn&}\pfill - \hdclindex{190}{}{172} - \subitem {\verbatim@font \verb*&\cs&\_\verb*&new:Npn&}\pfill - \hdclindex{10}{}{9}, \hdclindex{16}{}{14}, - \hdclindex{20}{}{18}, \hdclindex{24}{}{22}, - \hdclindex{28}{}{26}, \hdclindex{35}{}{31}, - \hdclindex{43}{}{38}, \hdclindex{47}{}{42}, - \hdclindex{53}{}{47}, \hdclindex{62}{}{55}, - \hdclindex{69}{}{61}, \hdclindex{150}{}{133}, - \hdclindex{186}{}{168}, \hdclindex{233}{}{212}, - \hdclindex{239}{}{217}, \hdclindex{272}{}{247}, - \hdclindex{286}{}{259}, \hdclindex{313}{}{285}, - \hdclindex{318}{}{289}, \hdclindex{323}{}{293} - \subitem {\verbatim@font \verb*&\cs&\_\verb*&set:Nn&}\pfill - \hdclindex{243}{}{221} - \subitem {\verbatim@font \verb*&\cs&\_\verb*&set:Npn&}\pfill - \hdclindex{188}{}{170}, \hdclindex{241}{}{219} - \subitem {\verbatim@font \verb*&\cs&\_\verb*&set&\_\verb*&eq:NN&}\pfill - \hdclindex{7}{}{6}, \hdclindex{8}{}{7}, - \hdclindex{9}{}{8}, \hdclindex{33}{}{30}, - \hdclindex{77}{}{68}, \hdclindex{144}{}{128}, - \hdclindex{147}{}{131} - \item {\verbatim@font \verb*&custom&}\pfill - \hdclindex{256}{main}{233} - - \indexspace -{\bfseries\hfil D\hfil}\nopagebreak - - \item {\verbatim@font \verb*&\dagger&}\pfill \hdclindex{258}{}{234} - \item {\verbatim@font \verb*&dagger&}\pfill - \hdclindex{256}{main}{233} - \item {\verbatim@font \verb*&\Declarator&}\pfill - \hdclindex{238}{usage}{7} - \item {\verbatim@font \verb*&\declarator&}\pfill - \hdclindex{185}{usage}{6}, \hdclindex{238}{usage}{7} - \item {\verbatim@font \verb*&\DeclareTheoremGroupRule&}\pfill - \hdclindex{265}{}{241}, \hdclindex{266}{}{242}, - \hdclindex{267}{}{243}, \hdclindex{268}{}{244}, - \hdclindex{269}{}{245}, \hdclindex{270}{}{246} - - \indexspace -{\bfseries\hfil E\hfil}\nopagebreak - - \item \pkg{exp} commands:\efill - \subitem {\verbatim@font \verb*&\exp&\_\verb*&args:Nc&}\pfill - \hdclindex{50}{}{45} - \subitem {\verbatim@font \verb*&\exp&\_\verb*¬:N&}\pfill - \hdclindex{182}{}{165} - - \indexspace -{\bfseries\hfil F\hfil}\nopagebreak - - \item \pkg{fancythm} commands:\efill - \subitem {\verbatim@font \verb*&\fancythm&\_\verb*&add&\_\verb*&provided&\_\verb*&theorem&\_\verb*&to&\_\verb*&group:nn&}\pfill - \hdclindex{271}{main}{247}, \hdclindex{283}{}{257} - \subitem {\verbatim@font \verb*&\fancythm&\_\verb*&new&\_\verb*&theorem:nn&}\pfill - \hdclindex{220}{main}{201} - \subitem {\verbatim@font \verb*&\fancythm&\_\verb*&new&\_\verb*&theorem:nnnn&}\pfill - \hdclindex{197}{usage}{6}, \hdclindex{197}{main}{179} - \subitem {\verbatim@font \verb*&\fancythm&\_\verb*&provide&\_\verb*&big&\_\verb*&theorem:nn&}\pfill - \hdclindex{312}{main}{285}, \hdclindex{331}{}{301}, - \hdclindex{332}{}{302}, \hdclindex{333}{}{303}, - \hdclindex{334}{}{304}, \hdclindex{335}{}{305}, - \hdclindex{336}{}{306}, \hdclindex{337}{}{307}, - \hdclindex{342}{}{312}, \hdclindex{347}{}{317} - \subitem {\verbatim@font \verb*&\fancythm&\_\verb*&provide&\_\verb*&small&\_\verb*&theorem:nn&}\pfill - \hdclindex{317}{main}{289}, \hdclindex{352}{}{322}, - \hdclindex{353}{}{323}, \hdclindex{354}{}{324}, - \hdclindex{355}{}{325}, \hdclindex{356}{}{326}, - \hdclindex{357}{}{327}, \hdclindex{358}{}{328}, - \hdclindex{363}{}{333}, \hdclindex{368}{}{338} - \subitem {\verbatim@font \verb*&\fancythm&\_\verb*&provide&\_\verb*&theorem:nnnn&}\pfill - \hdclindex{197}{main}{179}, \hdclindex{306}{}{279} - \subitem {\verbatim@font \verb*&\fancythm&\_\verb*&provide&\_\verb*&tiny&\_\verb*&theorem:nn&}\pfill - \hdclindex{322}{main}{293}, \hdclindex{373}{}{343}, - \hdclindex{374}{}{344}, \hdclindex{375}{}{345}, - \hdclindex{376}{}{346}, \hdclindex{377}{}{347}, - \hdclindex{378}{}{348}, \hdclindex{379}{}{349}, - \hdclindex{380}{}{350}, \hdclindex{381}{}{351}, - \hdclindex{382}{}{352}, \hdclindex{383}{}{353}, - \hdclindex{384}{}{354}, \hdclindex{385}{}{355}, - \hdclindex{386}{}{356}, \hdclindex{387}{}{357} - \item \pkg{fancythm} internal commands:\efill - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&counter&\_\verb*&sub&\_\verb*&if&\_\verb*&exist:n&}\pfill - \hdclindex{68}{main}{61}, \hdclindex{81}{}{71}, - \hdclindex{82}{}{72}, \hdclindex{83}{}{73}, - \hdclindex{84}{}{74} - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&Declarator:&}\pfill - \hdclindex{243}{}{221}, \hdclindex{251}{}{228} - \subitem {\verbatim@font \verb*&\g&\_\_\verb*&fancythm&\_\verb*&generate&\_\verb*&defaults&\_\verb*&bool&}\pfill - \hdclindex{94}{main}{81}, \hdclindex{110}{}{94}, - \hdclindex{327}{}{297} - \subitem {\verbatim@font \verb*&\l&\_\_\verb*&fancythm&\_\verb*&group&\_\verb*&clist&}\pfill - \hdclindex{102}{main}{87}, \hdclindex{154}{}{137}, - \hdclindex{228}{}{208}, \hdclindex{296}{}{269}, - \hdclindex{298}{}{271}, \hdclindex{300}{}{273}, - \hdclindex{302}{}{275}, \hdclindex{308}{}{281} - \subitem {\verbatim@font \verb*&\l&\_\_\verb*&fancythm&\_\verb*&key&\_\verb*&group&\_\verb*&clist&}\pfill - \hdclindex{96}{main}{82}, \hdclindex{133}{}{117}, - \hdclindex{154}{}{137} - \subitem {\verbatim@font \verb*&\l&\_\_\verb*&fancythm&\_\verb*&key&\_\verb*&mdframed&\_\verb*&tl&}\pfill - \hdclindex{96}{main}{82}, \hdclindex{129}{}{113}, - \hdclindex{156}{}{139}, \hdclindex{160}{}{143} - \subitem {\verbatim@font \verb*&\l&\_\_\verb*&fancythm&\_\verb*&key&\_\verb*&name&\_\verb*&tl&}\pfill - \hdclindex{96}{main}{82}, \hdclindex{127}{}{111}, - \hdclindex{170}{}{153}, \hdclindex{178}{}{161} - \subitem {\verbatim@font \verb*&\l&\_\_\verb*&fancythm&\_\verb*&key&\_\verb*&style&\_\verb*&tl&}\pfill - \hdclindex{96}{main}{82}, \hdclindex{131}{}{115}, - \hdclindex{163}{}{146}, \hdclindex{167}{}{150} - \subitem {\verbatim@font \verb*&\l&\_\_\verb*&fancythm&\_\verb*&key&\_\verb*&thmtools&\_\verb*&clist&}\pfill - \hdclindex{96}{main}{82}, \hdclindex{135}{}{119}, - \hdclindex{155}{}{138} - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&map&\_\verb*&aux:n&}\pfill - \hdclindex{188}{}{170}, \hdclindex{195}{}{177}, - \hdclindex{241}{}{219}, \hdclindex{246}{}{224} - \subitem {\verbatim@font \verb*&\l&\_\_\verb*&fancythm&\_\verb*&name&\_\verb*&tl&}\pfill - \hdclindex{102}{main}{87}, \hdclindex{172}{}{155}, - \hdclindex{178}{}{161}, \hdclindex{180}{}{163}, - \hdclindex{182}{}{165}, \hdclindex{229}{}{209}, - \hdclindex{309}{}{282} - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&new&\_\verb*&document&\_\verb*&command:Nnn&}\pfill - \hdclindex{232}{main}{212}, \hdclindex{244}{}{222} - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&provide&\_\verb*&package&\_\verb*&theorem:nnn&}\pfill - \hdclindex{285}{usage}{8}, \hdclindex{285}{main}{259}, - \hdclindex{315}{}{287}, \hdclindex{320}{}{291}, - \hdclindex{325}{}{295} - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&set&\_\verb*&normalized&\_\verb*&keys:nn&}\pfill - \hdclindex{149}{usage}{5}, \hdclindex{149}{main}{133}, - \hdclindex{225}{}{205}, \hdclindex{288}{}{261} - \subitem {\verbatim@font \verb*&\g&\_\_\verb*&fancythm&\_\verb*&style&\_\verb*&str&}\pfill - \hdclindex{90}{main}{79}, \hdclindex{121}{}{105} - \subitem {\verbatim@font \verb*&\l&\_\_\verb*&fancythm&\_\verb*&thmtools&\_\verb*&clist&}\pfill - \hdclindex{102}{main}{87}, \hdclindex{155}{}{138}, - \hdclindex{158}{}{141}, \hdclindex{165}{}{148}, - \hdclindex{230}{}{210}, \hdclindex{310}{}{283} - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&translate:n&}\pfill - \hdclindex{139}{usage}{5}, \hdclindex{144}{}{128}, - \hdclindex{147}{}{131}, \hdclindex{182}{}{165} - \subitem {\verbatim@font \verb*&\g&\_\_\verb*&fancythm&\_\verb*&translator&\_\verb*&bool&}\pfill - \hdclindex{92}{main}{80}, \hdclindex{108}{}{92}, - \hdclindex{140}{}{124} - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&wrap&\_\verb*&multiple:nnn&}\pfill - \hdclindex{185}{usage}{6}, \hdclindex{238}{usage}{7}, - \hdclindex{185}{main}{168}, \hdclindex{198}{}{179}, - \hdclindex{221}{}{201} - \subitem {\verbatim@font \verb*&\&\_\_\verb*&fancythm&\_\verb*&wrap&\_\verb*&multiple&\_\verb*&document:nnnn&}\pfill - \hdclindex{238}{usage}{7}, \hdclindex{238}{main}{217}, - \hdclindex{249}{}{226} - \item \pkg{fanythm} commands:\efill - \subitem {\verbatim@font \verb*&\fanythm&\_\verb*&new&\_\verb*&theorem:nn&}\pfill - \hdclindex{220}{usage}{7} - - \indexspace -{\bfseries\hfil G\hfil}\nopagebreak - - \item \pkg{groupthm} commands:\efill - \subitem {\verbatim@font \verb*&\groupthm&\_\verb*&add&\_\verb*&parent:nn&}\pfill - \hdclindex{263}{}{239}, \hdclindex{264}{}{240} - \subitem {\verbatim@font \verb*&\groupthm&\_\verb*&add&\_\verb*&theorem&\_\verb*&to&\_\verb*&group:n&}\pfill - \hdclindex{209}{}{190}, \hdclindex{213}{}{194} - \subitem {\verbatim@font \verb*&\groupthm&\_\verb*&new&\_\verb*&group:nnnnn&}\pfill - \hdclindex{257}{}{233}, \hdclindex{258}{}{234}, - \hdclindex{259}{}{235}, \hdclindex{260}{}{236}, - \hdclindex{261}{}{237}, \hdclindex{262}{}{238} - - \indexspace -{\bfseries\hfil I\hfil}\nopagebreak - - \item {\verbatim@font \verb*&\IfBooleanT&}\pfill - \hdclindex{207}{}{188}, \hdclindex{211}{}{192} - \item {\verbatim@font \verb*&inchapter&}\pfill - \hdclindex{79}{main}{70} - \item {\verbatim@font \verb*&indocument&}\pfill - \hdclindex{79}{main}{70} - \item {\verbatim@font \verb*&inpart&}\pfill \hdclindex{79}{main}{70} - \item {\verbatim@font \verb*&insection&}\pfill - \hdclindex{79}{main}{70} - \item {\verbatim@font \verb*&insubsection&}\pfill - \hdclindex{79}{main}{70} - - \indexspace -{\bfseries\hfil K\hfil}\nopagebreak - - \item \pkg{keys} commands:\efill - \subitem {\verbatim@font \verb*&\l&\_\verb*&keys&\_\verb*&choice&\_\verb*&tl&}\pfill - \hdclindex{115}{}{99}, \hdclindex{121}{}{105} - \subitem {\verbatim@font \verb*&\keys&\_\verb*&define:nn&}\pfill - \hdclindex{106}{}{90}, \hdclindex{125}{}{109} - \subitem {\verbatim@font \verb*&\keys&\_\verb*&set:nn&}\pfill - \hdclindex{138}{}{122}, \hdclindex{152}{}{135}, - \hdclindex{153}{}{136} - - \indexspace -{\bfseries\hfil N\hfil}\nopagebreak - - \item {\verbatim@font \verb*&\newcounter&}\pfill \hdclindex{8}{}{7} - \item {\verbatim@font \verb*&\NewDocumentCommand&}\pfill - \hdclindex{232}{usage}{7}, \hdclindex{235}{}{214}, - \hdclindex{281}{}{255} - \item {\verbatim@font \verb*&\NewFancyTheorem&}\pfill - \hdclindex{248}{usage}{7}, \hdclindex{248}{main}{226} - - \indexspace -{\bfseries\hfil P\hfil}\nopagebreak - - \item {\verbatim@font \verb*&\ProcessKeysOptions&}\pfill - \hdclindex{139}{}{123} - \item {\verbatim@font \verb*&\ProvideFancyTheorem&}\pfill - \hdclindex{248}{main}{226} - - \indexspace -{\bfseries\hfil R\hfil}\nopagebreak - - \item {\verbatim@font \verb*&\renewcommand&}\pfill - \hdclindex{50}{}{45} - \item {\verbatim@font \verb*&\RequirePackage&}\pfill - \hdclindex{3}{}{3}, \hdclindex{4}{}{4}, - \hdclindex{5}{}{5}, \hdclindex{142}{}{126} - - \indexspace -{\bfseries\hfil S\hfil}\nopagebreak - - \item {\verbatim@font \verb*&small&}\pfill \hdclindex{256}{main}{233} - \item {\verbatim@font \verb*&star&}\pfill \hdclindex{256}{main}{233} - \item \pkg{str} commands:\efill - \subitem {\verbatim@font \verb*&\str&\_\verb*&new:N&}\pfill - \hdclindex{91}{}{79} - \subitem {\verbatim@font \verb*&\str&\_\verb*&set:Nn&}\pfill - \hdclindex{121}{}{105} - \item {\verbatim@font \verb*&sublevel&}\pfill - \hdclindex{85}{main}{75} - \item {\verbatim@font \verb*&subsublevel&}\pfill - \hdclindex{85}{main}{75} - \item {\verbatim@font \verb*&subsubsublevel&}\pfill - \hdclindex{85}{main}{75} - - \indexspace -{\bfseries\hfil T\hfil}\nopagebreak - - \item \pkg{text} commands:\efill - \subitem {\verbatim@font \verb*&\text&\_\verb*&titlecase&\_\verb*&first:n&}\pfill - \hdclindex{174}{}{157}, \hdclindex{243}{}{221} - \item {\verbatim@font \verb*&tiny&}\pfill \hdclindex{256}{main}{233} - \item \pkg{tl} commands:\efill - \subitem {\verbatim@font \verb*&\c&\_\verb*&novalue&\_\verb*&tl&}\pfill - \hdclindex{128}{}{112}, \hdclindex{130}{}{114}, - \hdclindex{132}{}{116}, \hdclindex{156}{}{139}, - \hdclindex{163}{}{146}, \hdclindex{170}{}{153} - \subitem {\verbatim@font \verb*&\tl&\_\verb*&if&\_\verb*&eq:NnTF&}\pfill - \hdclindex{156}{}{139}, \hdclindex{163}{}{146}, - \hdclindex{170}{}{153} - \subitem {\verbatim@font \verb*&\tl&\_\verb*&new:N&}\pfill - \hdclindex{97}{}{82}, \hdclindex{98}{}{83}, - \hdclindex{99}{}{84}, \hdclindex{103}{}{87} - \subitem {\verbatim@font \verb*&\tl&\_\verb*&set:Nn&}\pfill - \hdclindex{172}{}{155}, \hdclindex{180}{}{163} - \subitem {\verbatim@font \verb*&\tl&\_\verb*&set&\_\verb*&eq:NN&}\pfill - \hdclindex{178}{}{161} - \subitem {\verbatim@font \verb*&\tl&\_\verb*&trim&\_\verb*&spaces:n&}\pfill - \hdclindex{174}{}{157} - \subitem {\verbatim@font \verb*&\tl&\_\verb*&use:N&}\pfill - \hdclindex{115}{}{99}, \hdclindex{121}{}{105}, - \hdclindex{160}{}{143}, \hdclindex{167}{}{150}, - \hdclindex{182}{}{165} - \item {\verbatim@font \verb*&toplevel&}\pfill - \hdclindex{85}{main}{75} - \item {\verbatim@font \verb*&\translate&}\pfill - \hdclindex{144}{}{128} - - \indexspace -{\bfseries\hfil U\hfil}\nopagebreak - - \item \pkg{use} commands:\efill - \subitem {\verbatim@font \verb*&\use:N&}\pfill - \hdclindex{45}{}{40}, \hdclindex{202}{}{183}, - \hdclindex{203}{}{184}, \hdclindex{226}{}{206}, - \hdclindex{254}{}{231} - \subitem {\verbatim@font \verb*&\use:n&}\pfill - \hdclindex{147}{}{131} - \item {\verbatim@font \verb*&\usedictionary&}\pfill - \hdclindex{143}{}{127} - - \end{theindex} diff --git a/src/environments/fancythm/fancythm.ins b/src/environments/fancythm/fancythm.ins deleted file mode 100644 index 2bd1bca..0000000 --- a/src/environments/fancythm/fancythm.ins +++ /dev/null @@ -1,4 +0,0 @@ -\input docstrip.tex -\keepsilent -\generate{\file{fancythm.sty}{\from{fancythm.dtx}{package}}} -\end diff --git a/src/environments/fancythm/fancythm.out b/src/environments/fancythm/fancythm.out deleted file mode 100644 index 7eab3dd..0000000 --- a/src/environments/fancythm/fancythm.out +++ /dev/null @@ -1,8 +0,0 @@ -\BOOKMARK [1][-]{section.0.1}{1 fancythm implementation}{}% 1 -\BOOKMARK [2][-]{subsection.0.1.1}{1.1 Dependencies}{section.0.1}% 2 -\BOOKMARK [2][-]{subsection.0.1.2}{1.2 Counter management}{section.0.1}% 3 -\BOOKMARK [2][-]{subsection.0.1.3}{1.3 Counter management}{section.0.1}% 4 -\BOOKMARK [2][-]{subsection.0.1.4}{1.4 Initialization}{section.0.1}% 5 -\BOOKMARK [2][-]{subsection.0.1.5}{1.5 Key interface}{section.0.1}% 6 -\BOOKMARK [2][-]{subsection.0.1.6}{1.6 Fancy theorems}{section.0.1}% 7 -\BOOKMARK [2][-]{subsection.0.1.7}{1.7 Provided resources}{section.0.1}% 8 diff --git a/src/environments/fancythm/fancythm.sty b/src/environments/fancythm/fancythm.sty deleted file mode 100644 index 112a4aa..0000000 --- a/src/environments/fancythm/fancythm.sty +++ /dev/null @@ -1,384 +0,0 @@ -%% -%% This is file `fancythm.sty', -%% generated with the docstrip utility. -%% -%% The original source files were: -%% -%% fancythm.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 fancythm.sty. -%% -%% For distribution of the original source see the terms -%% for copying and modification in the file fancythm.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: fancytm.dtx -\ProvidesExplPackage{fancythm}{2022/01/17}{0.0.1}{Grouped theorems.} -\RequirePackage{l3keys2e} -\RequirePackage{groupthm} -\RequirePackage[default styles]{mkessler-thmstyle} -\cs_set_eq:NN \arabic:n \arabic -\cs_set_eq:NN \counter_new:n \newcounter -\cs_set_eq:NN \counter_within:nn \counterwithin -\cs_new:Npn \counter_new:nn #1 #2 - { - \counter_new:n { #1 } - \counter_within:nn { #1 } { #2 } - } -\cs_new:Npn \counter_if_exist_p:n #1 - { - \cs_if_exist_p:c { c@ #1 } - } -\cs_new:Npn \counter_if_exist:nT #1 - { - \cs_if_exist:cT { c@ #1 } - } -\cs_new:Npn \counter_if_exist:nF #1 - { - \cs_if_exist:cF { c@ #1 } - } -\cs_new:Npn \counter_if_exist:nTF #1 - { - \cs_if_exist:cTF { c@ #1 } - } -\cs_set_eq:Nc \counter_undefined_error:n { @nocounterr } -\cs_new:Npn \counter_ensure_exist:n #1 - { - \counter_if_exist:nF { #1 } - { - \counter_undefined_error:n { #1 } - } - } -\cs_new:Npn \counter_the:n #1 - { - \use:c { the #1 } - } -\cs_new:Npn \counter_set_the:nn #1 #2 - { - \counter_ensure_exist:n { #1 } - \exp_args:Nc \renewcommand { the #1 } { #2 } - } -\cs_new:Npn \counter_sub:nn #1 #2 - { - \counter_within:nn { #1 } { #2 } - \counter_set_the:nn { #1 } - { - \counter_the:n { #2 } . \arabic:n { #1 } - } - } -\cs_new:Npn \counter_new_sub:nn #1 #2 - { - \counter_new:n { #1 } - \counter_sub:nn { #1 } { #2 } - } - -\cs_new:Npn \__fancythm_counter_sub_if_exist:n #1 - { - \counter_if_exist:nT { #1 } - { - \counter_new_sub:nn { in #1 } { #1 } - } - } -\cs_set_eq:Nc \counter_alias:nn { @counteralias } -\cs_generate_variant:Nn \counter_alias:nn { n x } -\counter_new:n { indocument } -\__fancythm_counter_sub_if_exist:n { section } -\__fancythm_counter_sub_if_exist:n { subsection } -\__fancythm_counter_sub_if_exist:n { chapter } -\__fancythm_counter_sub_if_exist:n { part } -\counter_alias:nn { toplevel } { indocument } -\counter_new_sub:nn { sublevel } { toplevel } -\counter_new_sub:nn { subsublevel } { sublevel } -\counter_new_sub:nn { subsubsublevel } { subsublevel } -\str_new:N \g__fancythm_style_str -\bool_new:N \g__fancythm_translator_bool -\bool_new:N \g__fancythm_generate_defaults_bool -\tl_new:N \l__fancythm_key_name_tl -\tl_new:N \l__fancythm_key_mdframed_tl -\tl_new:N \l__fancythm_key_style_tl -\clist_new:N \l__fancythm_key_group_clist -\clist_new:N \l__fancythm_key_thmtools_clist -\tl_new:N \l__fancythm_name_tl -\clist_new:N \l__fancythm_thmtools_clist -\clist_new:N \l__fancythm_group_clist -\keys_define:nn { fancythm } - { - translator .bool_set:N = \g__fancythm_translator_bool , - translator .default:n = { true } , - generate defaults .bool_set:N = \g__fancythm_generate_defaults_bool , - generate defaults .default:n = { true } , - number in .choices:nn = - { document, section, subsection, chapter, part } - { - \counter_alias:nx { toplevel } { in \tl_use:N \l_keys_choice_tl } - } , - number in .default:n = { document } , - style .choices:nn = - { fancy, plain, classic } - { - \str_set:Nn \g__fancythm_style_str { \tl_use:N \l_keys_choice_tl } - } , - style .default:n = { fancy } , - } -\keys_define:nn { fancythm / fancytheorem } - { - name .tl_set:N = \l__fancythm_key_name_tl , - name .default:n = \c_novalue_tl , - mdframed .tl_set:N = \l__fancythm_key_mdframed_tl , - mdframed .default:n = \c_novalue_tl , - style .tl_set:N = \l__fancythm_key_style_tl , - style .default:n = \c_novalue_tl , - group .clist_set:N = \l__fancythm_key_group_clist , - group .default:n = {} , - thmtools .clist_set:N = \l__fancythm_key_thmtools_clist , - thmtools .default:n = {} , - } -\keys_set:nn { fancythm } { translator, generate defaults, number in, style } -\ProcessKeysOptions{ fancythm } -\bool_if:NTF \g__fancythm_translator_bool - { - \RequirePackage{translator} - \usedictionary{translator-environment-names} - \cs_set_eq:NN \__fancythm_translate:n \translate - } - { - \cs_set_eq:NN \__fancythm_translate:n \use:n - } -\cs_new:Npn \__fancythm_set_normalized_keys:nn #1 #2 - { - \keys_set:nn { fancythm / fancytheorem } { name, mdframed, style, group, thmtools } - \keys_set:nn { fancythm / fancytheorem } { #1 } - \clist_set_eq:NN \l__fancythm_group_clist \l__fancythm_key_group_clist - \clist_set_eq:NN \l__fancythm_thmtools_clist \l__fancythm_key_thmtools_clist - \tl_if_eq:NnF \l__fancythm_key_mdframed_tl { \c_novalue_tl } - { - \clist_put_right:Nx \l__fancythm_thmtools_clist - { - mdframed = { style = \tl_use:N \l__fancythm_key_mdframed_tl } - } - } - \tl_if_eq:NnF \l__fancythm_key_style_tl { \c_novalue_tl } - { - \clist_put_right:Nx \l__fancythm_thmtools_clist - { - style = \tl_use:N \l__fancythm_key_style_tl - } - } - \tl_if_eq:NnTF \l__fancythm_key_name_tl { \c_novalue_tl } - { - \tl_set:Nx \l__fancythm_name_tl - { - \text_titlecase_first:n { \tl_trim_spaces:n { #2 } } - } - } - { - \tl_set_eq:NN \l__fancythm_name_tl \l__fancythm_key_name_tl - } - \tl_set:Nx \l__fancythm_name_tl - { - \exp_not:N \__fancythm_translate:n { \tl_use:N \l__fancythm_name_tl } - } - } -\cs_new:Npn \__fancythm_wrap_multiple:nnn #1 #2 #3 - { - \cs_set:Npn \__fancythm_map_aux:n ##1 - { - \cs_new:cn { #2 } - { - #3 - } - } - \clist_map_function:nN { #1 } \__fancythm_map_aux:n - } -\__fancythm_wrap_multiple:nnn -{ new, provide } -{ fancythm_#1_theorem:nnnn } - { - \use:c { groupthm_#1_family:nnnnn } { ##1 } { dagger, star } { ##3 } { ##4 } { ##2 } - \use:c { groupthm_#1_family_options:nnnn } - { ##1 } - { !s !t+ } - { - \IfBooleanT { ####1 } - { - \groupthm_add_theorem_to_group:n { star } - } - \IfBooleanT { ####2 } - { - \groupthm_add_theorem_to_group:n { dagger } - } - } - { ##2 } - } -\cs_generate_variant:Nn \fancythm_new_theorem:nnnn { n V V V } -\cs_generate_variant:Nn \fancythm_provide_theorem:nnnn { n V V V } -\__fancythm_wrap_multiple:nnn -{ new, provide } -{ fancythm_#1_theorem:nn } - { - \__fancythm_set_normalized_keys:nn { ##1 } { ##2 } - \use:c { fancythm_#1_theorem:nVVV } - { ##2 } - \l__fancythm_group_clist - \l__fancythm_name_tl - \l__fancythm_thmtools_clist - } -\cs_new:Npn \__fancythm_new_document_command:Nnn #1 #2 #3 - { - \NewDocumentCommand { #1 } { #2 } { #3 } - } -\cs_generate_variant:Nn \__fancythm_new_document_command:Nnn { c n n } -\cs_new:Npn \__fancythm_wrap_multiple_document:nnnn #1 #2 #3 #4 - { - \cs_set:Npn \__fancythm_map_aux:n ##1 - { - \cs_set:Nn \__fancythm_Declarator: { \text_titlecase_first:n { ##1 } } - \__fancythm_new_document_command:cnn { #2 } { #3 } { #4 } - } - \clist_map_function:nN { #1 } \__fancythm_map_aux:n - } -\__fancythm_wrap_multiple_document:nnnn - { new, provide } - { \__fancythm_Declarator: FancyTheorem } - { O{} m } - { - \use:c { fancythm_#1_theorem:nn } { ##1 } { ##2 } - } -\groupthm_new_group:nnnnn { star } { } { * } { } { } -\groupthm_new_group:nnnnn { dagger } { } { $^{\dagger}$ } { } { } -\groupthm_new_group:nnnnn { big } { } { } { } { sibling = toplevel } -\groupthm_new_group:nnnnn { small } { } { } { } { sibling = sublevel } -\groupthm_new_group:nnnnn { tiny } { } { } { } { numbered = no } -\groupthm_new_group:nnnnn { custom } { } { } { } { sibling = sublevel } -\groupthm_add_parent:nn { star } { custom } -\groupthm_add_parent:nn { dagger } { custom } -\DeclareTheoremGroupRule [ suffix ] { dagger } { higher } { star } -\DeclareTheoremGroupRule { tiny } { higher } { small } -\DeclareTheoremGroupRule { tiny } { higher } { big } -\DeclareTheoremGroupRule { tiny } { higher } { custom } -\DeclareTheoremGroupRule { small } { higher } { big } -\DeclareTheoremGroupRule { custom } { higher } { big } -\cs_new:Npn \fancythm_add_provided_theorem_to_group:nn #1 #2 - { - \cs_if_exist:cF { __fancythm_provided_theorem__#1__group_clist } - { - \clist_new:c { __fancythm_provided_theorem__#1__group_clist } - } - \clist_put_left:cn { __fancythm_provided_theorem__#1__group_clist } { #2 } - } -\NewDocumentCommand { \AddProvidedFancyTheoremToGroup } { m m } - { - \fancythm_add_provided_theorem_to_group:nn { #1 } { #2 } - } -\cs_new:Npn \__fancythm_provide_package_theorem:nnn #1 #2 #3 - { - \__fancythm_set_normalized_keys:nn { #1 } { #2 } - \cs_if_exist:cT { __fancythm_provided_theorem__#2__group_clist } - { - \clist_concat:ccc - { l__fancythm_group_clist } - { __fancythm_provided_theorem__#2__group_clist } - { l__fancythm_group_clist } - } - \clist_if_in:NnF \l__fancythm_group_clist { big } - { - \clist_if_in:NnF \l__fancythm_group_clist { small } - { - \clist_if_in:NnF \l__fancythm_group_clist { tiny } - { - \clist_put_right:Nn \l__fancythm_group_clist { #3 } - } - } - } - \fancythm_provide_theorem:nVVV - { #2 } - \l__fancythm_group_clist - \l__fancythm_name_tl - \l__fancythm_thmtools_clist - } -\cs_new:Npn \fancythm_provide_big_theorem:nn #1 #2 - { - \__fancythm_provide_package_theorem:nnn { #1 } { #2 } { big } - } -\cs_new:Npn \fancythm_provide_small_theorem:nn #1 #2 - { - \__fancythm_provide_package_theorem:nnn { #1 } { #2 } { small } - } -\cs_new:Npn \fancythm_provide_tiny_theorem:nn #1 #2 - { - \__fancythm_provide_package_theorem:nnn { #1 } { #2 } { tiny } - } -\bool_if:NT \g__fancythm_generate_defaults_bool - { - \AddToHook { begindocument / before } [ fancythm ] - { - \fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { theorem } - \fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { proposition } - \fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { corollary } - \fancythm_provide_big_theorem:nn { style = thmbluemarginandfill } { definition } - \fancythm_provide_big_theorem:nn { style = thmorangemarginandfill} { lemma } - \fancythm_provide_big_theorem:nn { style = thmgreenmargin } { example } - \fancythm_provide_big_theorem:nn - { - style = thmredmarginbluefill, - name = Theorem ~ and ~ Definition - } { theoremdef } - \fancythm_provide_big_theorem:nn - { - style = thmredmarginbluefill, - name = Proposition ~ and ~ Definition - } { propositiondef } - \fancythm_provide_big_theorem:nn - { - style = thmorangemarginbluefill, - name = Lemma ~ and ~ Definition - } { propositiondef } - \fancythm_provide_small_theorem:nn { style = thmvioletmargin } { notation } - \fancythm_provide_small_theorem:nn { style = thmyellowmargin } { remark } - \fancythm_provide_small_theorem:nn { style = thmgoldmargin } { praise } - \fancythm_provide_small_theorem:nn { style = thmblackmarginandfill } { question } - \fancythm_provide_small_theorem:nn { style = thmblackmargin } { orga } - \fancythm_provide_small_theorem:nn { style = thmredmargin } { fact } - \fancythm_provide_small_theorem:nn - { - style = thmyellowmargin, - name = Trivial ~ Nonsense - } { trivial } - \fancythm_provide_small_theorem:nn - { - style = thmvioletmargin, - name = Abuse ~ of ~ Notation - } { abuse } - \fancythm_provide_small_theorem:nn - { - style = thmyellowmargin, - name = Oral ~ remark - } { oral } - \fancythm_provide_tiny_theorem:nn { } { variant } - \fancythm_provide_tiny_theorem:nn { } { assumption } - \fancythm_provide_tiny_theorem:nn { } { note } - \fancythm_provide_tiny_theorem:nn { } { warning } - \fancythm_provide_tiny_theorem:nn { } { goal } - \fancythm_provide_tiny_theorem:nn { } { strategy } - \fancythm_provide_tiny_theorem:nn { } { problem } - \fancythm_provide_tiny_theorem:nn { } { info } - \fancythm_provide_tiny_theorem:nn { } { observe } - \fancythm_provide_tiny_theorem:nn { } { property } - \fancythm_provide_tiny_theorem:nn { } { intuition } - \fancythm_provide_tiny_theorem:nn { } { recall } - \fancythm_provide_tiny_theorem:nn { } { idea } - \fancythm_provide_tiny_theorem:nn { } { exercise } - \fancythm_provide_tiny_theorem:nn { } { reminder } - } - } -\endinput -%% -%% End of file `fancythm.sty'. diff --git a/src/environments/groupthm/Makefile b/src/environments/groupthm/Makefile index 3d5c5ae..4e0d5d2 100644 --- a/src/environments/groupthm/Makefile +++ b/src/environments/groupthm/Makefile @@ -1,14 +1,10 @@ - pdf: - latexmk groupthm.dtx + latexmk full: - latexmk -gg groupthm.dtx + latexmk -gg clean: - latexmk -c groupthm.dtx + latexmk -C -clean-all: - latexmk -C groupthm.dtx - -.PHONY: clean, clean-all +.PHONY: clean