29 lines
2.1 KiB
Text
29 lines
2.1 KiB
Text
\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
|