/ ARM Club 3 / TheARMClub_PDCD3.iso / hensa / textprocess / armtex / 2etools / 2eTools / Theorem / sty

< prev

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0d 0a 25 25 20 | 54 68 69 73 20 69 73 20 |%% ..%% |This is |
|00000010| 66 69 6c 65 20 60 74 68 | 65 6f 72 65 6d 2e 73 74 |file `th|eorem.st|
|00000020| 79 27 2c 20 67 65 6e 65 | 72 61 74 65 64 20 0d 0a |y', gene|rated ..|
|00000030| 25 25 20 6f 6e 20 3c 31 | 39 39 34 2f 38 2f 31 38 |%% on <1|994/8/18|
|00000040| 3e 20 77 69 74 68 20 74 | 68 65 20 64 6f 63 73 74 |> with t|he docst|
|00000050| 72 69 70 20 75 74 69 6c | 69 74 79 20 28 32 2e 32 |rip util|ity (2.2|
|00000060| 68 29 2e 0d 0a 25 25 20 | 0d 0a 25 25 20 54 68 65 |h)...%% |..%% The|
|00000070| 20 6f 72 69 67 69 6e 61 | 6c 20 73 6f 75 72 63 65 | origina|l source|
|00000080| 20 66 69 6c 65 73 20 77 | 65 72 65 3a 0d 0a 25 25 | files w|ere:..%%|
|00000090| 20 0d 0a 25 25 20 74 68 | 65 6f 72 65 6d 2e 64 74 | ..%% th|eorem.dt|
|000000a0| 78 20 20 28 77 69 74 68 | 20 6f 70 74 69 6f 6e 73 |x  (with| options|
|000000b0| 3a 20 60 70 61 63 6b 61 | 67 65 27 29 0d 0a 25 25 |: `packa|ge')..%%|
|000000c0| 20 0d 0a 25 25 20 49 4d | 50 4f 52 54 41 4e 54 20 | ..%% IM|PORTANT |
|000000d0| 4e 4f 54 49 43 45 3a 20 | 0d 0a 25 25 20 54 68 69 |NOTICE: |..%% Thi|
|000000e0| 73 20 66 69 6c 65 20 69 | 73 20 70 61 72 74 20 6f |s file i|s part o|
|000000f0| 66 20 74 68 65 20 60 74 | 6f 6f 6c 73 27 20 62 75 |f the `t|ools' bu|
|00000100| 6e 64 6c 65 20 0d 0a 25 | 25 20 69 6e 20 74 68 65 |ndle ..%|% in the|
|00000110| 20 4c 61 54 65 58 32 65 | 20 64 69 73 74 72 69 62 | LaTeX2e| distrib|
|00000120| 75 74 69 6f 6e 2e 20 0d | 0a 25 25 20 0d 0a 25 25 |ution. .|.%% ..%%|
|00000130| 20 59 6f 75 20 61 72 65 | 20 6e 6f 74 20 61 6c 6c | You are| not all|
|00000140| 6f 77 65 64 20 74 6f 20 | 64 69 73 74 72 69 62 75 |owed to |distribu|
|00000150| 74 65 20 74 68 69 73 20 | 66 69 6c 65 2e 20 0d 0a |te this |file. ..|
|00000160| 25 25 20 46 6f 72 20 64 | 69 73 74 72 69 62 75 74 |%% For d|istribut|
|00000170| 69 6f 6e 20 6f 66 20 74 | 68 65 20 6f 72 69 67 69 |ion of t|he origi|
|00000180| 6e 61 6c 20 73 6f 75 72 | 63 65 20 73 65 65 20 0d |nal sour|ce see .|
|00000190| 0a 25 25 20 74 68 65 20 | 63 6f 70 79 72 69 67 68 |.%% the |copyrigh|
|000001a0| 74 20 6e 6f 74 69 63 65 | 20 69 6e 20 74 68 65 20 |t notice| in the |
|000001b0| 73 6f 75 72 63 65 20 66 | 69 6c 65 2c 20 61 6e 64 |source f|ile, and|
|000001c0| 20 0d 0a 25 25 20 69 6e | 20 74 68 65 20 66 69 6c | ..%% in| the fil|
|000001d0| 65 20 72 65 61 64 6d 65 | 2e 74 78 74 20 64 69 73 |e readme|.txt dis|
|000001e0| 74 72 69 62 75 74 65 64 | 20 77 69 74 68 20 74 68 |tributed| with th|
|000001f0| 65 20 0d 0a 25 25 20 74 | 6f 6f 6c 73 20 62 75 6e |e ..%% t|ools bun|
|00000200| 64 6c 65 2e 20 0d 0a 25 | 25 20 0d 0a 5c 64 65 66 |dle. ..%|% ..\def|
|00000210| 5c 66 69 6c 65 76 65 72 | 73 69 6f 6e 7b 76 32 2e |\filever|sion{v2.|
|00000220| 32 61 7d 0d 0a 5c 64 65 | 66 5c 66 69 6c 65 64 61 |2a}..\de|f\fileda|
|00000230| 74 65 7b 31 39 39 34 2f | 30 32 2f 30 33 7d 0d 0a |te{1994/|02/03}..|
|00000240| 5c 64 65 66 5c 64 6f 63 | 64 61 74 65 20 7b 31 39 |\def\doc|date {19|
|00000250| 39 34 2f 30 32 2f 32 38 | 7d 0d 0a 25 25 20 5c 43 |94/02/28|}..%% \C|
|00000260| 68 61 72 61 63 74 65 72 | 54 61 62 6c 65 0d 0a 25 |haracter|Table..%|
|00000270| 25 20 20 7b 55 70 70 65 | 72 2d 63 61 73 65 20 20 |%  {Uppe|r-case  |
|00000280| 20 20 5c 41 5c 42 5c 43 | 5c 44 5c 45 5c 46 5c 47 |  \A\B\C|\D\E\F\G|
|00000290| 5c 48 5c 49 5c 4a 5c 4b | 5c 4c 5c 4d 5c 4e 5c 4f |\H\I\J\K|\L\M\N\O|
|000002a0| 5c 50 5c 51 5c 52 5c 53 | 5c 54 5c 55 5c 56 5c 57 |\P\Q\R\S|\T\U\V\W|
|000002b0| 5c 58 5c 59 5c 5a 0d 0a | 25 25 20 20 20 4c 6f 77 |\X\Y\Z..|%%   Low|
|000002c0| 65 72 2d 63 61 73 65 20 | 20 20 20 5c 61 5c 62 5c |er-case |   \a\b\|
|000002d0| 63 5c 64 5c 65 5c 66 5c | 67 5c 68 5c 69 5c 6a 5c |c\d\e\f\|g\h\i\j\|
|000002e0| 6b 5c 6c 5c 6d 5c 6e 5c | 6f 5c 70 5c 71 5c 72 5c |k\l\m\n\|o\p\q\r\|
|000002f0| 73 5c 74 5c 75 5c 76 5c | 77 5c 78 5c 79 5c 7a 0d |s\t\u\v\|w\x\y\z.|
|00000300| 0a 25 25 20 20 20 44 69 | 67 69 74 73 20 20 20 20 |.%%   Di|gits    |
|00000310| 20 20 20 20 5c 30 5c 31 | 5c 32 5c 33 5c 34 5c 35 |    \0\1|\2\3\4\5|
|00000320| 5c 36 5c 37 5c 38 5c 39 | 0d 0a 25 25 20 20 20 45 |\6\7\8\9|..%%   E|
|00000330| 78 63 6c 61 6d 61 74 69 | 6f 6e 20 20 20 5c 21 20 |xclamati|on   \! |
|00000340| 20 20 20 20 44 6f 75 62 | 6c 65 20 71 75 6f 74 65 |    Doub|le quote|
|00000350| 20 20 5c 22 20 20 20 20 | 20 48 61 73 68 20 28 6e |  \"    | Hash (n|
|00000360| 75 6d 62 65 72 29 20 5c | 23 0d 0a 25 25 20 20 20 |umber) \|#..%%   |
|00000370| 44 6f 6c 6c 61 72 20 20 | 20 20 20 20 20 20 5c 24 |Dollar  |      \$|
|00000380| 20 20 20 20 20 50 65 72 | 63 65 6e 74 20 20 20 20 |     Per|cent    |
|00000390| 20 20 20 5c 25 20 20 20 | 20 20 41 6d 70 65 72 73 |   \%   |  Ampers|
|000003a0| 61 6e 64 20 20 20 20 20 | 5c 26 0d 0a 25 25 20 20 |and     |\&..%%  |
|000003b0| 20 41 63 75 74 65 20 61 | 63 63 65 6e 74 20 20 5c | Acute a|ccent  \|
|000003c0| 27 20 20 20 20 20 4c 65 | 66 74 20 70 61 72 65 6e |'     Le|ft paren|
|000003d0| 20 20 20 20 5c 28 20 20 | 20 20 20 52 69 67 68 74 |    \(  |   Right|
|000003e0| 20 70 61 72 65 6e 20 20 | 20 5c 29 0d 0a 25 25 20 | paren  | \)..%% |
|000003f0| 20 20 41 73 74 65 72 69 | 73 6b 20 20 20 20 20 20 |  Asteri|sk      |
|00000400| 5c 2a 20 20 20 20 20 50 | 6c 75 73 20 20 20 20 20 |\*     P|lus     |
|00000410| 20 20 20 20 20 5c 2b 20 | 20 20 20 20 43 6f 6d 6d |     \+ |    Comm|
|00000420| 61 20 20 20 20 20 20 20 | 20 20 5c 2c 0d 0a 25 25 |a       |  \,..%%|
|00000430| 20 20 20 4d 69 6e 75 73 | 20 20 20 20 20 20 20 20 |   Minus|        |
|00000440| 20 5c 2d 20 20 20 20 20 | 50 6f 69 6e 74 20 20 20 | \-     |Point   |
|00000450| 20 20 20 20 20 20 5c 2e | 20 20 20 20 20 53 6f 6c |      \.|     Sol|
|00000460| 69 64 75 73 20 20 20 20 | 20 20 20 5c 2f 0d 0a 25 |idus    |   \/..%|
|00000470| 25 20 20 20 43 6f 6c 6f | 6e 20 20 20 20 20 20 20 |%   Colo|n       |
|00000480| 20 20 5c 3a 20 20 20 20 | 20 53 65 6d 69 63 6f 6c |  \:    | Semicol|
|00000490| 6f 6e 20 20 20 20 20 5c | 3b 20 20 20 20 20 4c 65 |on     \|;     Le|
|000004a0| 73 73 20 74 68 61 6e 20 | 20 20 20 20 5c 3c 0d 0a |ss than |    \<..|
|000004b0| 25 25 20 20 20 45 71 75 | 61 6c 73 20 20 20 20 20 |%%   Equ|als     |
|000004c0| 20 20 20 5c 3d 20 20 20 | 20 20 47 72 65 61 74 65 |   \=   |  Greate|
|000004d0| 72 20 74 68 61 6e 20 20 | 5c 3e 20 20 20 20 20 51 |r than  |\>     Q|
|000004e0| 75 65 73 74 69 6f 6e 20 | 6d 61 72 6b 20 5c 3f 0d |uestion |mark \?.|
|000004f0| 0a 25 25 20 20 20 43 6f | 6d 6d 65 72 63 69 61 6c |.%%   Co|mmercial|
|00000500| 20 61 74 20 5c 40 20 20 | 20 20 20 4c 65 66 74 20 | at \@  |   Left |
|00000510| 62 72 61 63 6b 65 74 20 | 20 5c 5b 20 20 20 20 20 |bracket | \[     |
|00000520| 42 61 63 6b 73 6c 61 73 | 68 20 20 20 20 20 5c 5c |Backslas|h     \\|
|00000530| 0d 0a 25 25 20 20 20 52 | 69 67 68 74 20 62 72 61 |..%%   R|ight bra|
|00000540| 63 6b 65 74 20 5c 5d 20 | 20 20 20 20 43 69 72 63 |cket \] |    Circ|
|00000550| 75 6d 66 6c 65 78 20 20 | 20 20 5c 5e 20 20 20 20 |umflex  |  \^    |
|00000560| 20 55 6e 64 65 72 73 63 | 6f 72 65 20 20 20 20 5c | Undersc|ore    \|
|00000570| 5f 0d 0a 25 25 20 20 20 | 47 72 61 76 65 20 61 63 |_..%%   |Grave ac|
|00000580| 63 65 6e 74 20 20 5c 60 | 20 20 20 20 20 4c 65 66 |cent  \`|     Lef|
|00000590| 74 20 62 72 61 63 65 20 | 20 20 20 5c 7b 20 20 20 |t brace |   \{   |
|000005a0| 20 20 56 65 72 74 69 63 | 61 6c 20 62 61 72 20 20 |  Vertic|al bar  |
|000005b0| 5c 7c 0d 0a 25 25 20 20 | 20 52 69 67 68 74 20 62 |\|..%%  | Right b|
|000005c0| 72 61 63 65 20 20 20 5c | 7d 20 20 20 20 20 54 69 |race   \|}     Ti|
|000005d0| 6c 64 65 20 20 20 20 20 | 20 20 20 20 5c 7e 7d 0d |lde     |    \~}.|
|000005e0| 0a 25 25 0d 0a 25 25 20 | 50 61 63 6b 61 67 65 20 |.%%..%% |Package |
|000005f0| 60 74 68 65 6f 72 65 6d | 27 20 74 6f 20 75 73 65 |`theorem|' to use|
|00000600| 20 77 69 74 68 20 4c 61 | 54 65 58 32 65 0d 0a 25 | with La|TeX2e..%|
|00000610| 25 20 43 6f 70 79 72 69 | 67 68 74 20 28 43 29 20 |% Copyri|ght (C) |
|00000620| 31 39 38 39 2d 31 39 39 | 34 20 46 72 61 6e 6b 20 |1989-199|4 Frank |
|00000630| 4d 69 74 74 65 6c 62 61 | 63 68 2c 20 61 6c 6c 20 |Mittelba|ch, all |
|00000640| 72 69 67 68 74 73 20 72 | 65 73 65 72 76 65 64 2e |rights r|eserved.|
|00000650| 0d 0a 25 25 0d 0a 25 25 | 20 46 6f 72 20 65 72 72 |..%%..%%| For err|
|00000660| 6f 72 20 72 65 70 6f 72 | 74 73 20 66 6f 72 20 55 |or repor|ts for U|
|00000670| 4e 43 48 41 4e 47 45 44 | 20 76 65 72 73 69 6f 6e |NCHANGED| version|
|00000680| 73 20 73 65 65 20 72 65 | 61 64 6d 65 2e 74 78 74 |s see re|adme.txt|
|00000690| 2e 0d 0a 25 25 20 20 20 | 54 68 65 20 6e 65 78 74 |...%%   |The next|
|000006a0| 20 66 65 77 20 6c 69 6e | 65 73 20 64 65 66 69 6e | few lin|es defin|
|000006b0| 65 20 74 68 65 6f 72 65 | 6d 20 73 65 74 73 20 77 |e theore|m sets w|
|000006c0| 68 69 63 68 20 61 72 65 | 20 75 73 65 64 0d 0a 25 |hich are| used..%|
|000006d0| 25 20 20 20 69 6e 20 74 | 68 65 20 65 78 61 6d 70 |%   in t|he examp|
|000006e0| 6c 65 20 73 65 63 74 69 | 6f 6e 20 6f 66 20 74 68 |le secti|on of th|
|000006f0| 65 20 64 6f 63 75 6d 65 | 6e 74 61 74 69 6f 6e 2e |e docume|ntation.|
|00000700| 0d 0a 5c 40 69 66 75 6e | 64 65 66 69 6e 65 64 7b |..\@ifun|defined{|
|00000710| 74 68 65 6f 72 65 6d 40 | 73 74 79 6c 65 7d 7b 7d |theorem@|style}{}|
|00000720| 7b 5c 65 6e 64 69 6e 70 | 75 74 7d 0d 0a 5c 50 72 |{\endinp|ut}..\Pr|
|00000730| 6f 76 69 64 65 73 50 61 | 63 6b 61 67 65 7b 74 68 |ovidesPa|ckage{th|
|00000740| 65 6f 72 65 6d 7d 5b 5c | 66 69 6c 65 64 61 74 65 |eorem}[\|filedate|
|00000750| 5c 73 70 61 63 65 0d 0a | 20 20 20 20 20 20 20 20 |\space..|        |
|00000760| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000770| 20 20 20 4c 61 54 65 58 | 32 65 20 70 61 63 6b 61 |   LaTeX|2e packa|
|00000780| 67 65 20 5c 66 69 6c 65 | 76 65 72 73 69 6f 6e 5d |ge \file|version]|
|00000790| 0d 0a 5c 74 79 70 65 6f | 75 74 7b 50 61 63 6b 61 |..\typeo|ut{Packa|
|000007a0| 67 65 3a 20 60 74 68 65 | 6f 72 65 6d 27 20 5c 66 |ge: `the|orem' \f|
|000007b0| 69 6c 65 76 65 72 73 69 | 6f 6e 0d 0a 20 20 20 20 |ileversi|on..    |
|000007c0| 20 20 20 20 20 5c 40 73 | 70 61 63 65 73 20 3c 5c |     \@s|paces <\|
|000007d0| 66 69 6c 65 64 61 74 65 | 3e 20 20 28 46 4d 69 29 |filedate|>  (FMi)|
|000007e0| 7d 0d 0a 5c 74 79 70 65 | 6f 75 74 7b 45 6e 67 6c |}..\type|out{Engl|
|000007f0| 69 73 68 20 64 6f 63 75 | 6d 65 6e 74 61 74 69 6f |ish docu|mentatio|
|00000800| 6e 20 61 73 20 6f 66 0d | 0a 20 20 20 20 20 20 20 |n as of.|.       |
|00000810| 20 20 3c 5c 64 6f 63 64 | 61 74 65 3e 20 20 28 46 |  <\docd|ate>  (F|
|00000820| 4d 69 29 7d 0d 0a 5c 67 | 64 65 66 5c 74 68 65 6f |Mi)}..\g|def\theo|
|00000830| 72 65 6d 73 74 79 6c 65 | 23 31 7b 25 0d 0a 20 20 |remstyle|#1{%..  |
|00000840| 20 5c 40 69 66 75 6e 64 | 65 66 69 6e 65 64 7b 74 | \@ifund|efined{t|
|00000850| 68 40 23 31 7d 7b 5c 40 | 77 61 72 6e 69 6e 67 0d |h@#1}{\@|warning.|
|00000860| 0a 20 20 20 20 20 20 20 | 20 20 20 7b 55 6e 6b 6e |.       |   {Unkn|
|00000870| 6f 77 6e 20 74 68 65 6f | 72 65 6d 73 74 79 6c 65 |own theo|remstyle|
|00000880| 20 60 23 31 27 2e 20 55 | 73 69 6e 67 20 60 70 6c | `#1'. U|sing `pl|
|00000890| 61 69 6e 27 7d 25 0d 0a | 20 20 20 20 20 20 20 20 |ain'}%..|        |
|000008a0| 20 20 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 |  \theor|em@style|
|000008b0| 7b 70 6c 61 69 6e 7d 7d | 25 0d 0a 20 20 20 20 20 |{plain}}|%..     |
|000008c0| 20 7b 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 | {\theor|em@style|
|000008d0| 7b 23 31 7d 7d 25 0d 0a | 20 20 20 20 20 20 5c 62 |{#1}}%..|      \b|
|000008e0| 65 67 69 6e 67 72 6f 75 | 70 0d 0a 20 20 20 20 20 |egingrou|p..     |
|000008f0| 20 20 20 5c 63 73 6e 61 | 6d 65 20 74 68 40 5c 74 |   \csna|me th@\t|
|00000900| 68 65 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 |he\theor|em@style|
|00000910| 20 5c 65 6e 64 63 73 6e | 61 6d 65 0d 0a 20 20 20 | \endcsn|ame..   |
|00000920| 20 20 20 5c 65 6e 64 67 | 72 6f 75 70 7d 0d 0a 5c |   \endg|roup}..\|
|00000930| 67 6c 6f 62 61 6c 5c 6c | 65 74 5c 40 62 65 67 69 |global\l|et\@begi|
|00000940| 6e 74 68 65 6f 72 65 6d | 5c 72 65 6c 61 78 0d 0a |ntheorem|\relax..|
|00000950| 5c 67 6c 6f 62 61 6c 5c | 6c 65 74 5c 40 6f 70 61 |\global\|let\@opa|
|00000960| 72 67 62 65 67 69 6e 74 | 68 65 6f 72 65 6d 5c 72 |rgbegint|heorem\r|
|00000970| 65 6c 61 78 0d 0a 5c 6e | 65 77 74 6f 6b 73 5c 74 |elax..\n|ewtoks\t|
|00000980| 68 65 6f 72 65 6d 40 73 | 74 79 6c 65 0d 0a 5c 67 |heorem@s|tyle..\g|
|00000990| 6c 6f 62 61 6c 5c 74 68 | 65 6f 72 65 6d 40 73 74 |lobal\th|eorem@st|
|000009a0| 79 6c 65 7b 70 6c 61 69 | 6e 7d 0d 0a 5c 67 64 65 |yle{plai|n}..\gde|
|000009b0| 66 5c 74 68 65 6f 72 65 | 6d 62 6f 64 79 66 6f 6e |f\theore|mbodyfon|
|000009c0| 74 23 31 7b 25 0d 0a 20 | 20 20 5c 64 65 66 5c 40 |t#1{%.. |  \def\@|
|000009d0| 74 65 6d 70 61 7b 23 31 | 7d 25 0d 0a 20 20 20 5c |tempa{#1|}%..   \|
|000009e0| 69 66 78 5c 40 74 65 6d | 70 61 5c 40 65 6d 70 74 |ifx\@tem|pa\@empt|
|000009f0| 79 0d 0a 20 20 20 20 5c | 74 68 65 6f 72 65 6d 40 |y..    \|theorem@|
|00000a00| 62 6f 64 79 66 6f 6e 74 | 7b 7d 25 0d 0a 20 20 20 |bodyfont|{}%..   |
|00000a10| 5c 65 6c 73 65 0d 0a 20 | 20 20 20 5c 74 68 65 6f |\else.. |   \theo|
|00000a20| 72 65 6d 40 62 6f 64 79 | 66 6f 6e 74 7b 5c 72 65 |rem@body|font{\re|
|00000a30| 73 65 74 40 66 6f 6e 74 | 23 31 7d 25 0d 0a 20 20 |set@font|#1}%..  |
|00000a40| 20 5c 66 69 0d 0a 20 20 | 20 7d 0d 0a 5c 6e 65 77 | \fi..  | }..\new|
|00000a50| 74 6f 6b 73 5c 74 68 65 | 6f 72 65 6d 40 62 6f 64 |toks\the|orem@bod|
|00000a60| 79 66 6f 6e 74 0d 0a 5c | 67 6c 6f 62 61 6c 5c 74 |yfont..\|global\t|
|00000a70| 68 65 6f 72 65 6d 40 62 | 6f 64 79 66 6f 6e 74 7b |heorem@b|odyfont{|
|00000a80| 7d 0d 0a 5c 67 64 65 66 | 5c 74 68 65 6f 72 65 6d |}..\gdef|\theorem|
|00000a90| 68 65 61 64 65 72 66 6f | 6e 74 23 31 7b 5c 67 64 |headerfo|nt#1{\gd|
|00000aa0| 65 66 5c 74 68 65 6f 72 | 65 6d 40 68 65 61 64 65 |ef\theor|em@heade|
|00000ab0| 72 66 6f 6e 74 7b 23 31 | 7d 25 0d 0a 20 20 20 20 |rfont{#1|}%..    |
|00000ac0| 20 20 20 5c 67 64 65 66 | 5c 74 68 65 6f 72 65 6d |   \gdef|\theorem|
|00000ad0| 68 65 61 64 65 72 66 6f | 6e 74 23 23 31 7b 25 0d |headerfo|nt##1{%.|
|00000ae0| 0a 20 20 20 20 20 20 20 | 20 5c 74 79 70 65 6f 75 |.       | \typeou|
|00000af0| 74 7b 5c 73 74 72 69 6e | 67 5c 74 68 65 6f 72 65 |t{\strin|g\theore|
|00000b00| 6d 68 65 61 64 65 72 66 | 6f 6e 74 5c 73 70 61 63 |mheaderf|ont\spac|
|00000b10| 65 20 73 68 6f 75 6c 64 | 20 62 65 20 75 73 65 64 |e should| be used|
|00000b20| 0d 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |..      |        |
|00000b30| 20 20 20 6f 6e 6c 79 20 | 6f 6e 63 65 2e 7d 7d 7d |   only |once.}}}|
|00000b40| 0d 0a 5c 69 66 78 5c 75 | 70 73 68 61 70 65 5c 75 |..\ifx\u|pshape\u|
|00000b50| 6e 64 65 66 69 6e 65 64 | 0d 0a 5c 67 64 65 66 5c |ndefined|..\gdef\|
|00000b60| 74 68 65 6f 72 65 6d 40 | 68 65 61 64 65 72 66 6f |theorem@|headerfo|
|00000b70| 6e 74 7b 5c 62 66 73 65 | 72 69 65 73 7d 0d 0a 5c |nt{\bfse|ries}..\|
|00000b80| 65 6c 73 65 20 5c 67 64 | 65 66 5c 74 68 65 6f 72 |else \gd|ef\theor|
|00000b90| 65 6d 40 68 65 61 64 65 | 72 66 6f 6e 74 7b 5c 6e |em@heade|rfont{\n|
|00000ba0| 6f 72 6d 61 6c 66 6f 6e | 74 5c 62 66 73 65 72 69 |ormalfon|t\bfseri|
|00000bb0| 65 73 7d 5c 66 69 0d 0a | 5c 67 64 65 66 5c 74 68 |es}\fi..|\gdef\th|
|00000bc0| 40 70 6c 61 69 6e 7b 5c | 40 69 6e 70 75 74 40 7b |@plain{\|@input@{|
|00000bd0| 74 68 70 2e 73 74 79 7d | 7d 0d 0a 5c 67 64 65 66 |thp.sty}|}..\gdef|
|00000be0| 5c 74 68 40 62 72 65 61 | 6b 7b 5c 40 69 6e 70 75 |\th@brea|k{\@inpu|
|00000bf0| 74 40 7b 74 68 62 2e 73 | 74 79 7d 7d 0d 0a 5c 67 |t@{thb.s|ty}}..\g|
|00000c00| 64 65 66 5c 74 68 40 6d | 61 72 67 69 6e 62 72 65 |def\th@m|arginbre|
|00000c10| 61 6b 7b 5c 40 69 6e 70 | 75 74 40 7b 74 68 6d 62 |ak{\@inp|ut@{thmb|
|00000c20| 2e 73 74 79 7d 7d 0d 0a | 5c 67 64 65 66 5c 74 68 |.sty}}..|\gdef\th|
|00000c30| 40 63 68 61 6e 67 65 62 | 72 65 61 6b 7b 5c 40 69 |@changeb|reak{\@i|
|00000c40| 6e 70 75 74 40 7b 74 68 | 63 62 2e 73 74 79 7d 7d |nput@{th|cb.sty}}|
|00000c50| 0d 0a 5c 67 64 65 66 5c | 74 68 40 63 68 61 6e 67 |..\gdef\|th@chang|
|00000c60| 65 7b 5c 40 69 6e 70 75 | 74 40 7b 74 68 63 2e 73 |e{\@inpu|t@{thc.s|
|00000c70| 74 79 7d 7d 0d 0a 5c 67 | 64 65 66 5c 74 68 40 6d |ty}}..\g|def\th@m|
|00000c80| 61 72 67 69 6e 7b 5c 40 | 69 6e 70 75 74 40 7b 74 |argin{\@|input@{t|
|00000c90| 68 6d 2e 73 74 79 7d 7d | 0d 0a 5c 67 64 65 66 5c |hm.sty}}|..\gdef\|
|00000ca0| 40 78 6e 74 68 6d 23 31 | 23 32 5b 23 33 5d 7b 5c |@xnthm#1|#2[#3]{\|
|00000cb0| 65 78 70 61 6e 64 61 66 | 74 65 72 5c 40 69 66 64 |expandaf|ter\@ifd|
|00000cc0| 65 66 69 6e 61 62 6c 65 | 5c 63 73 6e 61 6d 65 20 |efinable|\csname |
|00000cd0| 23 31 5c 65 6e 64 63 73 | 6e 61 6d 65 0d 0a 20 20 |#1\endcs|name..  |
|00000ce0| 20 7b 25 0d 0a 20 20 20 | 20 5c 40 64 65 66 69 6e | {%..   | \@defin|
|00000cf0| 65 63 6f 75 6e 74 65 72 | 7b 23 31 7d 5c 40 61 64 |ecounter|{#1}\@ad|
|00000d00| 64 74 6f 72 65 73 65 74 | 7b 23 31 7d 7b 23 33 7d |dtoreset|{#1}{#3}|
|00000d10| 25 0d 0a 20 20 20 20 5c | 65 78 70 61 6e 64 61 66 |%..    \|expandaf|
|00000d20| 74 65 72 5c 78 64 65 66 | 5c 63 73 6e 61 6d 65 20 |ter\xdef|\csname |
|00000d30| 74 68 65 23 31 5c 65 6e | 64 63 73 6e 61 6d 65 0d |the#1\en|dcsname.|
|00000d40| 0a 20 20 20 20 20 20 7b | 5c 65 78 70 61 6e 64 61 |.      {|\expanda|
|00000d50| 66 74 65 72 20 5c 6e 6f | 65 78 70 61 6e 64 20 5c |fter \no|expand \|
|00000d60| 63 73 6e 61 6d 65 20 74 | 68 65 23 33 5c 65 6e 64 |csname t|he#3\end|
|00000d70| 63 73 6e 61 6d 65 0d 0a | 20 20 20 20 20 20 20 5c |csname..|       \|
|00000d80| 40 74 68 6d 63 6f 75 6e | 74 65 72 73 65 70 20 5c |@thmcoun|tersep \|
|00000d90| 40 74 68 6d 63 6f 75 6e | 74 65 72 7b 23 31 7d 7d |@thmcoun|ter{#1}}|
|00000da0| 25 0d 0a 20 20 20 20 5c | 64 65 66 5c 40 74 65 6d |%..    \|def\@tem|
|00000db0| 70 61 7b 5c 67 6c 6f 62 | 61 6c 5c 40 6e 61 6d 65 |pa{\glob|al\@name|
|00000dc0| 64 65 66 7b 23 31 7d 7d | 25 0d 0a 20 20 20 20 5c |def{#1}}|%..    \|
|00000dd0| 65 78 70 61 6e 64 61 66 | 74 65 72 20 5c 40 74 65 |expandaf|ter \@te|
|00000de0| 6d 70 61 20 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |mpa \exp|andafter|
|00000df0| 7b 25 0d 0a 20 20 20 20 | 20 20 5c 63 73 6e 61 6d |{%..    |  \csnam|
|00000e00| 65 20 74 68 40 5c 74 68 | 65 20 5c 74 68 65 6f 72 |e th@\th|e \theor|
|00000e10| 65 6d 40 73 74 79 6c 65 | 0d 0a 20 20 20 20 20 20 |em@style|..      |
|00000e20| 20 20 20 20 20 20 5c 65 | 78 70 61 6e 64 61 66 74 |      \e|xpandaft|
|00000e30| 65 72 20 5c 65 6e 64 63 | 73 6e 61 6d 65 20 5c 74 |er \endc|sname \t|
|00000e40| 68 65 20 5c 74 68 65 6f | 72 65 6d 40 62 6f 64 79 |he \theo|rem@body|
|00000e50| 66 6f 6e 74 0d 0a 20 20 | 20 20 20 5c 40 74 68 6d |font..  |   \@thm|
|00000e60| 7b 23 31 7d 7b 23 32 7d | 7d 25 0d 0a 20 20 20 20 |{#1}{#2}|}%..    |
|00000e70| 5c 67 6c 6f 62 61 6c 20 | 5c 65 78 70 61 6e 64 61 |\global |\expanda|
|00000e80| 66 74 65 72 20 5c 6c 65 | 74 20 5c 63 73 6e 61 6d |fter \le|t \csnam|
|00000e90| 65 20 65 6e 64 23 31 5c | 65 6e 64 63 73 6e 61 6d |e end#1\|endcsnam|
|00000ea0| 65 20 5c 40 65 6e 64 74 | 68 65 6f 72 65 6d 0d 0a |e \@endt|heorem..|
|00000eb0| 20 20 20 7d 7d 0d 0a 5c | 67 64 65 66 5c 40 79 6e |   }}..\|gdef\@yn|
|00000ec0| 74 68 6d 23 31 23 32 7b | 5c 65 78 70 61 6e 64 61 |thm#1#2{|\expanda|
|00000ed0| 66 74 65 72 5c 40 69 66 | 64 65 66 69 6e 61 62 6c |fter\@if|definabl|
|00000ee0| 65 5c 63 73 6e 61 6d 65 | 20 23 31 5c 65 6e 64 63 |e\csname| #1\endc|
|00000ef0| 73 6e 61 6d 65 0d 0a 20 | 20 20 7b 5c 40 64 65 66 |sname.. |  {\@def|
|00000f00| 69 6e 65 63 6f 75 6e 74 | 65 72 7b 23 31 7d 25 0d |inecount|er{#1}%.|
|00000f10| 0a 20 20 20 20 5c 65 78 | 70 61 6e 64 61 66 74 65 |.    \ex|pandafte|
|00000f20| 72 5c 78 64 65 66 5c 63 | 73 6e 61 6d 65 20 74 68 |r\xdef\c|sname th|
|00000f30| 65 23 31 5c 65 6e 64 63 | 73 6e 61 6d 65 7b 5c 40 |e#1\endc|sname{\@|
|00000f40| 74 68 6d 63 6f 75 6e 74 | 65 72 7b 23 31 7d 7d 25 |thmcount|er{#1}}%|
|00000f50| 0d 0a 20 20 20 20 5c 64 | 65 66 5c 40 74 65 6d 70 |..    \d|ef\@temp|
|00000f60| 61 7b 5c 67 6c 6f 62 61 | 6c 5c 40 6e 61 6d 65 64 |a{\globa|l\@named|
|00000f70| 65 66 7b 23 31 7d 7d 5c | 65 78 70 61 6e 64 61 66 |ef{#1}}\|expandaf|
|00000f80| 74 65 72 20 5c 40 74 65 | 6d 70 61 0d 0a 20 20 20 |ter \@te|mpa..   |
|00000f90| 20 20 5c 65 78 70 61 6e | 64 61 66 74 65 72 7b 5c |  \expan|dafter{\|
|00000fa0| 63 73 6e 61 6d 65 20 74 | 68 40 5c 74 68 65 20 5c |csname t|h@\the \|
|00000fb0| 74 68 65 6f 72 65 6d 40 | 73 74 79 6c 65 20 5c 65 |theorem@|style \e|
|00000fc0| 78 70 61 6e 64 61 66 74 | 65 72 0d 0a 20 20 20 20 |xpandaft|er..    |
|00000fd0| 20 5c 65 6e 64 63 73 6e | 61 6d 65 20 5c 74 68 65 | \endcsn|ame \the|
|00000fe0| 5c 74 68 65 6f 72 65 6d | 40 62 6f 64 79 66 6f 6e |\theorem|@bodyfon|
|00000ff0| 74 20 5c 40 74 68 6d 7b | 23 31 7d 7b 23 32 7d 7d |t \@thm{|#1}{#2}}|
|00001000| 25 0d 0a 20 20 20 20 5c | 67 6c 6f 62 61 6c 20 5c |%..    \|global \|
|00001010| 65 78 70 61 6e 64 61 66 | 74 65 72 20 5c 6c 65 74 |expandaf|ter \let|
|00001020| 20 5c 63 73 6e 61 6d 65 | 20 65 6e 64 23 31 5c 65 | \csname| end#1\e|
|00001030| 6e 64 63 73 6e 61 6d 65 | 20 5c 40 65 6e 64 74 68 |ndcsname| \@endth|
|00001040| 65 6f 72 65 6d 7d 7d 0d | 0a 5c 67 64 65 66 5c 40 |eorem}}.|.\gdef\@|
|00001050| 6f 74 68 6d 23 31 5b 23 | 32 5d 23 33 7b 5c 65 78 |othm#1[#|2]#3{\ex|
|00001060| 70 61 6e 64 61 66 74 65 | 72 5c 40 69 66 64 65 66 |pandafte|r\@ifdef|
|00001070| 69 6e 61 62 6c 65 5c 63 | 73 6e 61 6d 65 20 23 31 |inable\c|sname #1|
|00001080| 5c 65 6e 64 63 73 6e 61 | 6d 65 0d 0a 20 20 7b 5c |\endcsna|me..  {\|
|00001090| 65 78 70 61 6e 64 61 66 | 74 65 72 20 5c 78 64 65 |expandaf|ter \xde|
|000010a0| 66 20 5c 63 73 6e 61 6d | 65 20 74 68 65 23 31 5c |f \csnam|e the#1\|
|000010b0| 65 6e 64 63 73 6e 61 6d | 65 0d 0a 20 20 20 20 20 |endcsnam|e..     |
|000010c0| 7b 5c 65 78 70 61 6e 64 | 61 66 74 65 72 20 5c 6e |{\expand|after \n|
|000010d0| 6f 65 78 70 61 6e 64 20 | 5c 63 73 6e 61 6d 65 20 |oexpand |\csname |
|000010e0| 74 68 65 23 32 5c 65 6e | 64 63 73 6e 61 6d 65 7d |the#2\en|dcsname}|
|000010f0| 25 0d 0a 20 20 20 20 5c | 64 65 66 5c 40 74 65 6d |%..    \|def\@tem|
|00001100| 70 61 7b 5c 67 6c 6f 62 | 61 6c 5c 40 6e 61 6d 65 |pa{\glob|al\@name|
|00001110| 64 65 66 7b 23 31 7d 7d | 5c 65 78 70 61 6e 64 61 |def{#1}}|\expanda|
|00001120| 66 74 65 72 20 5c 40 74 | 65 6d 70 61 0d 0a 20 20 |fter \@t|empa..  |
|00001130| 20 20 20 5c 65 78 70 61 | 6e 64 61 66 74 65 72 7b |   \expa|ndafter{|
|00001140| 5c 63 73 6e 61 6d 65 20 | 74 68 40 5c 74 68 65 20 |\csname |th@\the |
|00001150| 5c 74 68 65 6f 72 65 6d | 40 73 74 79 6c 65 20 5c |\theorem|@style \|
|00001160| 65 78 70 61 6e 64 61 66 | 74 65 72 0d 0a 20 20 20 |expandaf|ter..   |
|00001170| 20 20 5c 65 6e 64 63 73 | 6e 61 6d 65 20 5c 74 68 |  \endcs|name \th|
|00001180| 65 5c 74 68 65 6f 72 65 | 6d 40 62 6f 64 79 66 6f |e\theore|m@bodyfo|
|00001190| 6e 74 20 5c 40 74 68 6d | 7b 23 32 7d 7b 23 33 7d |nt \@thm|{#2}{#3}|
|000011a0| 7d 25 0d 0a 20 20 20 20 | 5c 67 6c 6f 62 61 6c 20 |}%..    |\global |
|000011b0| 5c 65 78 70 61 6e 64 61 | 66 74 65 72 20 5c 6c 65 |\expanda|fter \le|
|000011c0| 74 20 5c 63 73 6e 61 6d | 65 20 65 6e 64 23 31 5c |t \csnam|e end#1\|
|000011d0| 65 6e 64 63 73 6e 61 6d | 65 20 5c 40 65 6e 64 74 |endcsnam|e \@endt|
|000011e0| 68 65 6f 72 65 6d 7d 7d | 0d 0a 5c 67 64 65 66 5c |heorem}}|..\gdef\|
|000011f0| 40 74 68 6d 23 31 23 32 | 7b 5c 72 65 66 73 74 65 |@thm#1#2|{\refste|
|00001200| 70 63 6f 75 6e 74 65 72 | 7b 23 31 7d 25 0d 0a 20 |pcounter|{#1}%.. |
|00001210| 20 20 5c 74 72 69 76 6c | 69 73 74 0d 0a 20 20 20 |  \trivl|ist..   |
|00001220| 5c 40 74 6f 70 73 65 70 | 20 5c 74 68 65 6f 72 65 |\@topsep| \theore|
|00001230| 6d 70 72 65 73 6b 69 70 | 61 6d 6f 75 6e 74 20 20 |mpreskip|amount  |
|00001240| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 25 20 75 |        |     % u|
|00001250| 73 65 64 20 62 79 20 66 | 69 72 73 74 20 5c 69 74 |sed by f|irst \it|
|00001260| 65 6d 0d 0a 20 20 20 5c | 40 74 6f 70 73 65 70 61 |em..   \|@topsepa|
|00001270| 64 64 20 5c 74 68 65 6f | 72 65 6d 70 6f 73 74 73 |dd \theo|remposts|
|00001280| 6b 69 70 61 6d 6f 75 6e | 74 20 20 20 20 20 20 20 |kipamoun|t       |
|00001290| 20 20 20 20 25 20 75 73 | 65 64 20 62 79 20 5c 40 |    % us|ed by \@|
|000012a0| 65 6e 64 70 61 72 65 6e | 76 0d 0a 20 20 20 5c 40 |endparen|v..   \@|
|000012b0| 69 66 6e 65 78 74 63 68 | 61 72 20 5b 25 0d 0a 20 |ifnextch|ar [%.. |
|000012c0| 20 20 7b 5c 40 79 74 68 | 6d 7b 23 31 7d 7b 23 32 |  {\@yth|m{#1}{#2|
|000012d0| 7d 7d 25 0d 0a 20 20 20 | 7b 5c 40 62 65 67 69 6e |}}%..   |{\@begin|
|000012e0| 74 68 65 6f 72 65 6d 7b | 23 32 7d 7b 5c 63 73 6e |theorem{|#2}{\csn|
|000012f0| 61 6d 65 20 74 68 65 23 | 31 5c 65 6e 64 63 73 6e |ame the#|1\endcsn|
|00001300| 61 6d 65 7d 5c 69 67 6e | 6f 72 65 73 70 61 63 65 |ame}\ign|orespace|
|00001310| 73 7d 7d 0d 0a 5c 67 6c | 6f 62 61 6c 5c 6c 65 74 |s}}..\gl|obal\let|
|00001320| 5c 40 78 74 68 6d 5c 72 | 65 6c 61 78 0d 0a 5c 6e |\@xthm\r|elax..\n|
|00001330| 65 77 73 6b 69 70 5c 74 | 68 65 6f 72 65 6d 70 72 |ewskip\t|heorempr|
|00001340| 65 73 6b 69 70 61 6d 6f | 75 6e 74 0d 0a 5c 6e 65 |eskipamo|unt..\ne|
|00001350| 77 73 6b 69 70 5c 74 68 | 65 6f 72 65 6d 70 6f 73 |wskip\th|eorempos|
|00001360| 74 73 6b 69 70 61 6d 6f | 75 6e 74 0d 0a 5c 67 6c |tskipamo|unt..\gl|
|00001370| 6f 62 61 6c 5c 73 65 74 | 6c 65 6e 67 74 68 5c 74 |obal\set|length\t|
|00001380| 68 65 6f 72 65 6d 70 72 | 65 73 6b 69 70 61 6d 6f |heorempr|eskipamo|
|00001390| 75 6e 74 7b 31 32 70 74 | 20 70 6c 75 73 20 35 70 |unt{12pt| plus 5p|
|000013a0| 74 20 6d 69 6e 75 73 20 | 33 70 74 7d 0d 0a 5c 67 |t minus |3pt}..\g|
|000013b0| 6c 6f 62 61 6c 5c 73 65 | 74 6c 65 6e 67 74 68 5c |lobal\se|tlength\|
|000013c0| 74 68 65 6f 72 65 6d 70 | 6f 73 74 73 6b 69 70 61 |theoremp|ostskipa|
|000013d0| 6d 6f 75 6e 74 7b 38 70 | 74 20 70 6c 75 73 20 33 |mount{8p|t plus 3|
|000013e0| 70 74 20 6d 69 6e 75 73 | 20 31 2e 35 70 74 7d 0d |pt minus| 1.5pt}.|
|000013f0| 0a 5c 67 6c 6f 62 61 6c | 5c 6c 65 74 5c 40 65 6e |.\global|\let\@en|
|00001400| 64 74 68 65 6f 72 65 6d | 3d 5c 65 6e 64 74 72 69 |dtheorem|=\endtri|
|00001410| 76 6c 69 73 74 0d 0a 5c | 40 6f 6e 6c 79 70 72 65 |vlist..\|@onlypre|
|00001420| 61 6d 62 6c 65 5c 40 78 | 6e 74 68 6d 0d 0a 5c 40 |amble\@x|nthm..\@|
|00001430| 6f 6e 6c 79 70 72 65 61 | 6d 62 6c 65 5c 40 79 6e |onlyprea|mble\@yn|
|00001440| 74 68 6d 0d 0a 5c 40 6f | 6e 6c 79 70 72 65 61 6d |thm..\@o|nlypream|
|00001450| 62 6c 65 5c 40 6f 74 68 | 6d 0d 0a 5c 40 6f 6e 6c |ble\@oth|m..\@onl|
|00001460| 79 70 72 65 61 6d 62 6c | 65 5c 6e 65 77 74 68 65 |ypreambl|e\newthe|
|00001470| 6f 72 65 6d 0d 0a 5c 40 | 6f 6e 6c 79 70 72 65 61 |orem..\@|onlyprea|
|00001480| 6d 62 6c 65 5c 74 68 65 | 6f 72 65 6d 73 74 79 6c |mble\the|oremstyl|
|00001490| 65 0d 0a 5c 40 6f 6e 6c | 79 70 72 65 61 6d 62 6c |e..\@onl|ypreambl|
|000014a0| 65 5c 74 68 65 6f 72 65 | 6d 62 6f 64 79 66 6f 6e |e\theore|mbodyfon|
|000014b0| 74 0d 0a 5c 40 6f 6e 6c | 79 70 72 65 61 6d 62 6c |t..\@onl|ypreambl|
|000014c0| 65 5c 74 68 65 6f 72 65 | 6d 68 65 61 64 65 72 66 |e\theore|mheaderf|
|000014d0| 6f 6e 74 0d 0a 5c 74 68 | 65 6f 72 65 6d 73 74 79 |ont..\th|eoremsty|
|000014e0| 6c 65 7b 70 6c 61 69 6e | 7d 0d 0a 0d 0a 5c 65 6e |le{plain|}....\en|
|000014f0| 64 69 6e 70 75 74 0d 0a | 25 25 20 0d 0a 25 25 20 |dinput..|%% ..%% |
|00001500| 45 6e 64 20 6f 66 20 66 | 69 6c 65 20 60 74 68 65 |End of f|ile `the|
|00001510| 6f 72 65 6d 2e 73 74 79 | 27 2e 0d 0a             |orem.sty|'...    |
+--------+-------------------------+-------------------------+--------+--------+