1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
#\DeclareLyXModule{Standard Theorems (Numbered by Type within Sections)}
#\DeclareCategory{Maths}
#DescriptionBegin
#Defines some theorem environments for use with non-AMS classes. Contrary to the
#plain Theorem module, the different theorem types provided here each have a separate
#counter (e.g., theorem 1, theorem 2, lemma 1, proposition 1, theorem 3, lemma 2, ...,
#as opposed to theorem 1, theorem 2, lemma 3, proposition 4, ...). The numbering is reset
#at each section start.
#DescriptionEnd
#Requires: theorems-bytype | theorems-ams-bytype
#Excludes: theorems-std | theorems-ams | theorems-starred | theorems-chap | theorems-chap-bytype
# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Kimberly Heck's various modules)
Format 111
Input theorems-counters-bytype.inc
Counter theorem
Within section
End
Counter corollary
Within section
End
Counter lemma
Within section
End
Counter proposition
Within section
End
Counter conjecture
Within section
End
Counter fact
Within section
End
Counter definition
Within section
End
Counter example
Within section
End
Counter problem
Within section
End
Counter exercise
Within section
End
Counter remark
Within section
End
Counter claim
Within section
End
Style Theorem
TheoremParentCounter section
End
Style Corollary
TheoremParentCounter section
End
Style Lemma
TheoremParentCounter section
End
Style Proposition
TheoremParentCounter section
End
Style Conjecture
TheoremParentCounter section
End
Style Fact
TheoremParentCounter section
End
Style Definition
TheoremParentCounter section
End
Style Example
TheoremParentCounter section
End
Style Problem
TheoremParentCounter section
End
Style Exercise
TheoremParentCounter section
End
Style Remark
TheoremParentCounter section
End
Style Claim
TheoremParentCounter section
End
|
