diff --git a/tests/environments/groupthm/test.tex b/tests/environments/groupthm/test.tex index ba35b7a..ce2777a 100644 --- a/tests/environments/groupthm/test.tex +++ b/tests/environments/groupthm/test.tex @@ -8,39 +8,11 @@ \usepackage{mkessler-groupthm} -\DeclareTheoremGroupRule {dagger}{before}{star} -\DeclareTheoremGroupRule {starred}{higher}{dagger} -\NewGroupedTheorem - [ - group = {big, starred, dagger} - ]{dlemma} - -\NewGroupedTheorem - [ - group = {big, star} - ]{slemma} - -\NewGroupedTheorem - [ - group = {big}, -% thmtools = {sibling = insection} - ]{lemma} \NewGroupedTheorem [ - name=Proposition, group = {dagger} -]{dproposition} - -\NewGroupedTheorem -[ - name=Proposition, - group = {star} -]{sproposition} - -\NewGroupedTheorem -[ -group = {dagger, star} + group = {dagger, star} ]{test} @@ -61,20 +33,6 @@ group = {dagger, star} \begin{document} -\b{hi} - -\begin{dlemma} - -\end{dlemma} -%\begin{__example__groups_dagger_star} - test -%\end{__example__groups_dagger_star} - -\def\ex{__example__groups_} - -%\ShowHook{groupthm/groupsort} - - \begin{example} test \end{example}