/ Meeting Pearls 3 / Meeting_Pearls_III.iso / Pearls / texmf / inputs / misc / theorem.sty

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0a 25 25 20 54 | 68 69 73 20 69 73 20 66 |%% .%% T|his is f|
|00000010| 69 6c 65 20 60 74 68 65 | 6f 72 65 6d 2e 73 74 79 |ile `the|orem.sty|
|00000020| 27 2c 20 67 65 6e 65 72 | 61 74 65 64 20 0a 25 25 |', gener|ated .%%|
|00000030| 20 6f 6e 20 3c 31 39 39 | 34 2f 35 2f 32 30 3e 20 | on <199|4/5/20> |
|00000040| 77 69 74 68 20 74 68 65 | 20 64 6f 63 73 74 72 69 |with the| docstri|
|00000050| 70 20 75 74 69 6c 69 74 | 79 20 28 32 2e 30 72 29 |p utilit|y (2.0r)|
|00000060| 2e 0a 25 25 20 0a 25 25 | 20 54 68 65 20 6f 72 69 |..%% .%%| The ori|
|00000070| 67 69 6e 61 6c 20 73 6f | 75 72 63 65 20 66 69 6c |ginal so|urce fil|
|00000080| 65 73 20 77 65 72 65 3a | 0a 25 25 20 0a 25 25 20 |es were:|.%% .%% |
|00000090| 74 68 65 6f 72 65 6d 2e | 64 6f 63 20 20 28 77 69 |theorem.|doc  (wi|
|000000a0| 74 68 20 6f 70 74 69 6f | 6e 73 3a 20 60 73 74 79 |th optio|ns: `sty|
|000000b0| 6c 65 27 29 0a 25 25 20 | 0a 25 25 20 43 6f 70 79 |le').%% |.%% Copy|
|000000c0| 72 69 67 68 74 20 28 43 | 29 20 31 39 38 39 2d 31 |right (C|) 1989-1|
|000000d0| 39 39 32 20 62 79 20 46 | 72 61 6e 6b 20 4d 69 74 |992 by F|rank Mit|
|000000e0| 74 65 6c 62 61 63 68 2e | 20 41 6c 6c 20 72 69 67 |telbach.| All rig|
|000000f0| 68 74 73 20 72 65 73 65 | 72 76 65 64 2e 20 0a 25 |hts rese|rved. .%|
|00000100| 25 20 0a 25 25 20 54 68 | 69 73 20 66 69 6c 65 20 |% .%% Th|is file |
|00000110| 69 73 20 70 61 72 74 20 | 6f 66 20 74 68 65 20 6d |is part |of the m|
|00000120| 75 6c 74 69 63 6f 6c 20 | 70 61 63 6b 61 67 65 2e |ulticol |package.|
|00000130| 20 0a 25 25 20 0a 25 25 | 20 49 4d 50 4f 52 54 41 | .%% .%%| IMPORTA|
|00000140| 4e 54 20 4e 4f 54 49 43 | 45 3a 20 0a 25 25 20 0a |NT NOTIC|E: .%% .|
|00000150| 25 25 20 59 6f 75 20 61 | 72 65 20 6e 6f 74 20 61 |%% You a|re not a|
|00000160| 6c 6c 6f 77 65 64 20 74 | 6f 20 63 68 61 6e 67 65 |llowed t|o change|
|00000170| 20 74 68 69 73 20 66 69 | 6c 65 2e 20 59 6f 75 20 | this fi|le. You |
|00000180| 6d 61 79 20 68 6f 77 65 | 76 65 72 20 63 6f 70 79 |may howe|ver copy|
|00000190| 20 74 68 69 73 20 0a 25 | 25 20 66 69 6c 65 20 74 | this .%|% file t|
|000001a0| 6f 20 61 20 66 69 6c 65 | 20 77 69 74 68 20 61 20 |o a file| with a |
|000001b0| 64 69 66 66 65 72 65 6e | 74 20 6e 61 6d 65 20 61 |differen|t name a|
|000001c0| 6e 64 20 74 68 65 6e 20 | 63 68 61 6e 67 65 20 74 |nd then |change t|
|000001d0| 68 65 20 63 6f 70 79 20 | 69 66 20 79 6f 75 20 0a |he copy |if you .|
|000001e0| 25 25 20 6f 62 65 79 20 | 74 68 65 20 72 65 73 74 |%% obey |the rest|
|000001f0| 72 69 63 74 69 6f 6e 73 | 20 6f 6e 20 66 69 6c 65 |rictions| on file|
|00000200| 20 63 68 61 6e 67 65 73 | 20 64 65 73 63 72 69 62 | changes| describ|
|00000210| 65 64 20 69 6e 20 72 65 | 61 64 6d 65 2e 6d 7a 2e |ed in re|adme.mz.|
|00000220| 20 0a 25 25 20 0a 25 25 | 20 59 6f 75 20 61 72 65 | .%% .%%| You are|
|00000230| 20 4e 4f 54 20 41 4c 4c | 4f 57 45 44 20 74 6f 20 | NOT ALL|OWED to |
|00000240| 64 69 73 74 72 69 62 75 | 74 65 20 74 68 69 73 20 |distribu|te this |
|00000250| 66 69 6c 65 20 61 6c 6f | 6e 65 2e 20 59 6f 75 20 |file alo|ne. You |
|00000260| 61 72 65 20 4e 4f 54 20 | 0a 25 25 20 41 4c 4c 4f |are NOT |.%% ALLO|
|00000270| 57 45 44 20 74 6f 20 74 | 61 6b 65 20 6d 6f 6e 65 |WED to t|ake mone|
|00000280| 79 20 66 6f 72 20 74 68 | 65 20 64 69 73 74 72 69 |y for th|e distri|
|00000290| 62 75 74 69 6f 6e 20 6f | 72 20 75 73 65 20 6f 66 |bution o|r use of|
|000002a0| 20 74 68 69 73 20 66 69 | 6c 65 20 28 6f 72 20 61 | this fi|le (or a|
|000002b0| 20 0a 25 25 20 63 68 61 | 6e 67 65 64 20 76 65 72 | .%% cha|nged ver|
|000002c0| 73 69 6f 6e 29 20 65 78 | 63 65 70 74 20 66 6f 72 |sion) ex|cept for|
|000002d0| 20 61 20 6e 6f 6d 69 6e | 61 6c 20 63 68 61 72 67 | a nomin|al charg|
|000002e0| 65 20 66 6f 72 20 63 6f | 70 79 69 6e 67 20 65 74 |e for co|pying et|
|000002f0| 63 2e 20 0a 25 25 20 0a | 25 25 20 59 6f 75 20 61 |c. .%% .|%% You a|
|00000300| 72 65 20 61 6c 6c 6f 77 | 65 64 20 74 6f 20 64 69 |re allow|ed to di|
|00000310| 73 74 72 69 62 75 74 65 | 20 74 68 69 73 20 66 69 |stribute| this fi|
|00000320| 6c 65 20 75 6e 64 65 72 | 20 74 68 65 20 63 6f 6e |le under| the con|
|00000330| 64 69 74 69 6f 6e 20 74 | 68 61 74 20 69 74 20 69 |dition t|hat it i|
|00000340| 73 20 0a 25 25 20 64 69 | 73 74 72 69 62 75 74 65 |s .%% di|stribute|
|00000350| 64 20 74 6f 67 65 74 68 | 65 72 20 77 69 74 68 20 |d togeth|er with |
|00000360| 61 6c 6c 20 66 69 6c 65 | 73 20 6d 65 6e 74 69 6f |all file|s mentio|
|00000370| 6e 65 64 20 69 6e 20 72 | 65 61 64 6d 65 2e 6d 7a |ned in r|eadme.mz|
|00000380| 32 2e 20 0a 25 25 20 0a | 25 25 20 49 66 20 79 6f |2. .%% .|%% If yo|
|00000390| 75 20 72 65 63 65 69 76 | 65 20 6f 6e 6c 79 20 73 |u receiv|e only s|
|000003a0| 6f 6d 65 20 6f 66 20 74 | 68 65 73 65 20 66 69 6c |ome of t|hese fil|
|000003b0| 65 73 20 66 72 6f 6d 20 | 73 6f 6d 65 6f 6e 65 2c |es from |someone,|
|000003c0| 20 63 6f 6d 70 6c 61 69 | 6e 21 20 0a 25 25 20 0a | complai|n! .%% .|
|000003d0| 25 25 20 48 6f 77 65 76 | 65 72 2c 20 69 66 20 74 |%% Howev|er, if t|
|000003e0| 68 65 73 65 20 66 69 6c | 65 73 20 61 72 65 20 64 |hese fil|es are d|
|000003f0| 69 73 74 72 69 62 75 74 | 65 64 20 62 79 20 65 73 |istribut|ed by es|
|00000400| 74 61 62 6c 69 73 68 65 | 64 20 73 75 70 70 6c 69 |tablishe|d suppli|
|00000410| 65 72 73 20 61 73 20 0a | 25 25 20 70 61 72 74 20 |ers as .|%% part |
|00000420| 6f 66 20 61 20 63 6f 6d | 70 6c 65 74 65 20 54 65 |of a com|plete Te|
|00000430| 58 20 64 69 73 74 72 69 | 62 75 74 69 6f 6e 2c 20 |X distri|bution, |
|00000440| 61 6e 64 20 74 68 65 20 | 73 74 72 75 63 74 75 72 |and the |structur|
|00000450| 65 20 6f 66 20 74 68 65 | 20 0a 25 25 20 64 69 73 |e of the| .%% dis|
|00000460| 74 72 69 62 75 74 69 6f | 6e 20 77 6f 75 6c 64 20 |tributio|n would |
|00000470| 6d 61 6b 65 20 69 74 20 | 64 69 66 66 69 63 75 6c |make it |difficul|
|00000480| 74 20 74 6f 20 64 69 73 | 74 72 69 62 75 74 65 20 |t to dis|tribute |
|00000490| 74 68 65 20 77 68 6f 6c | 65 20 73 65 74 20 6f 66 |the whol|e set of|
|000004a0| 20 0a 25 25 20 66 69 6c | 65 73 2c 20 2a 74 68 6f | .%% fil|es, *tho|
|000004b0| 73 65 20 70 61 72 74 69 | 65 73 2a 20 61 72 65 20 |se parti|es* are |
|000004c0| 61 6c 6c 6f 77 65 64 20 | 74 6f 20 64 69 73 74 72 |allowed |to distr|
|000004d0| 69 62 75 74 65 20 6f 6e | 6c 79 20 73 6f 6d 65 20 |ibute on|ly some |
|000004e0| 6f 66 20 74 68 65 20 0a | 25 25 20 66 69 6c 65 73 |of the .|%% files|
|000004f0| 20 70 72 6f 76 69 64 65 | 64 20 74 68 61 74 20 69 | provide|d that i|
|00000500| 74 20 69 73 20 6d 61 64 | 65 20 63 6c 65 61 72 20 |t is mad|e clear |
|00000510| 74 68 61 74 20 74 68 65 | 20 75 73 65 72 20 77 69 |that the| user wi|
|00000520| 6c 6c 20 67 65 74 20 61 | 20 63 6f 6d 70 6c 65 74 |ll get a| complet|
|00000530| 65 20 0a 25 25 20 64 69 | 73 74 72 69 62 75 74 69 |e .%% di|stributi|
|00000540| 6f 6e 2d 73 65 74 20 75 | 70 6f 6e 20 72 65 71 75 |on-set u|pon requ|
|00000550| 65 73 74 20 74 6f 20 74 | 68 61 74 20 73 75 70 70 |est to t|hat supp|
|00000560| 6c 69 65 72 20 28 6e 6f | 74 20 6d 65 29 2e 20 4e |lier (no|t me). N|
|00000570| 6f 74 69 63 65 20 74 68 | 61 74 20 0a 25 25 20 74 |otice th|at .%% t|
|00000580| 68 69 73 20 70 65 72 6d | 69 73 73 69 6f 6e 20 69 |his perm|ission i|
|00000590| 73 20 6e 6f 74 20 67 72 | 61 6e 74 65 64 20 74 6f |s not gr|anted to|
|000005a0| 20 74 68 65 20 65 6e 64 | 20 75 73 65 72 2e 20 0a | the end| user. .|
|000005b0| 25 25 20 0a 25 25 20 0a | 25 25 20 46 6f 72 20 65 |%% .%% .|%% For e|
|000005c0| 72 72 6f 72 20 72 65 70 | 6f 72 74 73 20 69 6e 20 |rror rep|orts in |
|000005d0| 63 61 73 65 20 6f 66 20 | 55 4e 43 48 41 4e 47 45 |case of |UNCHANGE|
|000005e0| 44 20 76 65 72 73 69 6f | 6e 73 20 73 65 65 20 72 |D versio|ns see r|
|000005f0| 65 61 64 6d 65 2e 6d 7a | 20 0a 25 25 20 0a 25 25 |eadme.mz| .%% .%%|
|00000600| 20 0a 0a 5c 64 65 66 5c | 66 69 6c 65 76 65 72 73 | ..\def\|filevers|
|00000610| 69 6f 6e 7b 76 32 2e 31 | 63 7d 0a 5c 64 65 66 5c |ion{v2.1|c}.\def\|
|00000620| 66 69 6c 65 64 61 74 65 | 7b 39 32 2f 30 36 2f 32 |filedate|{92/06/2|
|00000630| 32 7d 0a 5c 64 65 66 5c | 64 6f 63 64 61 74 65 20 |2}.\def\|docdate |
|00000640| 7b 39 32 2f 30 36 2f 32 | 32 7d 0a 0a 25 25 20 5c |{92/06/2|2}..%% \|
|00000650| 43 68 65 63 6b 53 75 6d | 7b 35 32 38 7d 0a 25 25 |CheckSum|{528}.%%|
|00000660| 20 5c 43 68 61 72 61 63 | 74 65 72 54 61 62 6c 65 | \Charac|terTable|
|00000670| 0a 25 25 20 20 7b 55 70 | 70 65 72 2d 63 61 73 65 |.%%  {Up|per-case|
|00000680| 20 20 20 20 5c 41 5c 42 | 5c 43 5c 44 5c 45 5c 46 |    \A\B|\C\D\E\F|
|00000690| 5c 47 5c 48 5c 49 5c 4a | 5c 4b 5c 4c 5c 4d 5c 4e |\G\H\I\J|\K\L\M\N|
|000006a0| 5c 4f 5c 50 5c 51 5c 52 | 5c 53 5c 54 5c 55 5c 56 |\O\P\Q\R|\S\T\U\V|
|000006b0| 5c 57 5c 58 5c 59 5c 5a | 0a 25 25 20 20 20 4c 6f |\W\X\Y\Z|.%%   Lo|
|000006c0| 77 65 72 2d 63 61 73 65 | 20 20 20 20 5c 61 5c 62 |wer-case|    \a\b|
|000006d0| 5c 63 5c 64 5c 65 5c 66 | 5c 67 5c 68 5c 69 5c 6a |\c\d\e\f|\g\h\i\j|
|000006e0| 5c 6b 5c 6c 5c 6d 5c 6e | 5c 6f 5c 70 5c 71 5c 72 |\k\l\m\n|\o\p\q\r|
|000006f0| 5c 73 5c 74 5c 75 5c 76 | 5c 77 5c 78 5c 79 5c 7a |\s\t\u\v|\w\x\y\z|
|00000700| 0a 25 25 20 20 20 44 69 | 67 69 74 73 20 20 20 20 |.%%   Di|gits    |
|00000710| 20 20 20 20 5c 30 5c 31 | 5c 32 5c 33 5c 34 5c 35 |    \0\1|\2\3\4\5|
|00000720| 5c 36 5c 37 5c 38 5c 39 | 0a 25 25 20 20 20 45 78 |\6\7\8\9|.%%   Ex|
|00000730| 63 6c 61 6d 61 74 69 6f | 6e 20 20 20 5c 21 20 20 |clamatio|n   \!  |
|00000740| 20 20 20 44 6f 75 62 6c | 65 20 71 75 6f 74 65 20 |   Doubl|e quote |
|00000750| 20 5c 22 20 20 20 20 20 | 48 61 73 68 20 28 6e 75 | \"     |Hash (nu|
|00000760| 6d 62 65 72 29 20 5c 23 | 0a 25 25 20 20 20 44 6f |mber) \#|.%%   Do|
|00000770| 6c 6c 61 72 20 20 20 20 | 20 20 20 20 5c 24 20 20 |llar    |    \$  |
|00000780| 20 20 20 50 65 72 63 65 | 6e 74 20 20 20 20 20 20 |   Perce|nt      |
|00000790| 20 5c 25 20 20 20 20 20 | 41 6d 70 65 72 73 61 6e | \%     |Ampersan|
|000007a0| 64 20 20 20 20 20 5c 26 | 0a 25 25 20 20 20 41 63 |d     \&|.%%   Ac|
|000007b0| 75 74 65 20 61 63 63 65 | 6e 74 20 20 5c 27 20 20 |ute acce|nt  \'  |
|000007c0| 20 20 20 4c 65 66 74 20 | 70 61 72 65 6e 20 20 20 |   Left |paren   |
|000007d0| 20 5c 28 20 20 20 20 20 | 52 69 67 68 74 20 70 61 | \(     |Right pa|
|000007e0| 72 65 6e 20 20 20 5c 29 | 0a 25 25 20 20 20 41 73 |ren   \)|.%%   As|
|000007f0| 74 65 72 69 73 6b 20 20 | 20 20 20 20 5c 2a 20 20 |terisk  |    \*  |
|00000800| 20 20 20 50 6c 75 73 20 | 20 20 20 20 20 20 20 20 |   Plus |        |
|00000810| 20 5c 2b 20 20 20 20 20 | 43 6f 6d 6d 61 20 20 20 | \+     |Comma   |
|00000820| 20 20 20 20 20 20 5c 2c | 0a 25 25 20 20 20 4d 69 |      \,|.%%   Mi|
|00000830| 6e 75 73 20 20 20 20 20 | 20 20 20 20 5c 2d 20 20 |nus     |    \-  |
|00000840| 20 20 20 50 6f 69 6e 74 | 20 20 20 20 20 20 20 20 |   Point|        |
|00000850| 20 5c 2e 20 20 20 20 20 | 53 6f 6c 69 64 75 73 20 | \.     |Solidus |
|00000860| 20 20 20 20 20 20 5c 2f | 0a 25 25 20 20 20 43 6f |      \/|.%%   Co|
|00000870| 6c 6f 6e 20 20 20 20 20 | 20 20 20 20 5c 3a 20 20 |lon     |    \:  |
|00000880| 20 20 20 53 65 6d 69 63 | 6f 6c 6f 6e 20 20 20 20 |   Semic|olon    |
|00000890| 20 5c 3b 20 20 20 20 20 | 4c 65 73 73 20 74 68 61 | \;     |Less tha|
|000008a0| 6e 20 20 20 20 20 5c 3c | 0a 25 25 20 20 20 45 71 |n     \<|.%%   Eq|
|000008b0| 75 61 6c 73 20 20 20 20 | 20 20 20 20 5c 3d 20 20 |uals    |    \=  |
|000008c0| 20 20 20 47 72 65 61 74 | 65 72 20 74 68 61 6e 20 |   Great|er than |
|000008d0| 20 5c 3e 20 20 20 20 20 | 51 75 65 73 74 69 6f 6e | \>     |Question|
|000008e0| 20 6d 61 72 6b 20 5c 3f | 0a 25 25 20 20 20 43 6f | mark \?|.%%   Co|
|000008f0| 6d 6d 65 72 63 69 61 6c | 20 61 74 20 5c 40 20 20 |mmercial| at \@  |
|00000900| 20 20 20 4c 65 66 74 20 | 62 72 61 63 6b 65 74 20 |   Left |bracket |
|00000910| 20 5c 5b 20 20 20 20 20 | 42 61 63 6b 73 6c 61 73 | \[     |Backslas|
|00000920| 68 20 20 20 20 20 5c 5c | 0a 25 25 20 20 20 52 69 |h     \\|.%%   Ri|
|00000930| 67 68 74 20 62 72 61 63 | 6b 65 74 20 5c 5d 20 20 |ght brac|ket \]  |
|00000940| 20 20 20 43 69 72 63 75 | 6d 66 6c 65 78 20 20 20 |   Circu|mflex   |
|00000950| 20 5c 5e 20 20 20 20 20 | 55 6e 64 65 72 73 63 6f | \^     |Undersco|
|00000960| 72 65 20 20 20 20 5c 5f | 0a 25 25 20 20 20 47 72 |re    \_|.%%   Gr|
|00000970| 61 76 65 20 61 63 63 65 | 6e 74 20 20 5c 60 20 20 |ave acce|nt  \`  |
|00000980| 20 20 20 4c 65 66 74 20 | 62 72 61 63 65 20 20 20 |   Left |brace   |
|00000990| 20 5c 7b 20 20 20 20 20 | 56 65 72 74 69 63 61 6c | \{     |Vertical|
|000009a0| 20 62 61 72 20 20 5c 7c | 0a 25 25 20 20 20 52 69 | bar  \||.%%   Ri|
|000009b0| 67 68 74 20 62 72 61 63 | 65 20 20 20 5c 7d 20 20 |ght brac|e   \}  |
|000009c0| 20 20 20 54 69 6c 64 65 | 20 20 20 20 20 20 20 20 |   Tilde|        |
|000009d0| 20 5c 7e 7d 0a 25 25 0a | 5c 40 69 66 75 6e 64 65 | \~}.%%.|\@ifunde|
|000009e0| 66 69 6e 65 64 7b 74 68 | 65 6f 72 65 6d 40 73 74 |fined{th|eorem@st|
|000009f0| 79 6c 65 7d 7b 7d 7b 5c | 65 6e 64 69 6e 70 75 74 |yle}{}{\|endinput|
|00000a00| 7d 0a 5c 74 79 70 65 6f | 75 74 7b 53 74 79 6c 65 |}.\typeo|ut{Style|
|00000a10| 20 6f 70 74 69 6f 6e 3a | 20 60 74 68 65 6f 72 65 | option:| `theore|
|00000a20| 6d 27 20 5c 66 69 6c 65 | 76 65 72 73 69 6f 6e 20 |m' \file|version |
|00000a30| 5c 73 70 61 63 65 5c 73 | 70 61 63 65 0a 20 20 20 |\space\s|pace.   |
|00000a40| 20 20 20 20 20 20 3c 5c | 66 69 6c 65 64 61 74 65 |      <\|filedate|
|00000a50| 3e 20 20 28 46 4d 69 29 | 7d 0a 5c 74 79 70 65 6f |>  (FMi)|}.\typeo|
|00000a60| 75 74 7b 45 6e 67 6c 69 | 73 68 20 64 6f 63 75 6d |ut{Engli|sh docum|
|00000a70| 65 6e 74 61 74 69 6f 6e | 20 61 73 20 6f 66 20 5c |entation| as of \|
|00000a80| 73 70 61 63 65 5c 73 70 | 61 63 65 5c 73 70 61 63 |space\sp|ace\spac|
|00000a90| 65 0a 20 20 20 20 20 20 | 20 20 20 3c 5c 64 6f 63 |e.      |   <\doc|
|00000aa0| 64 61 74 65 3e 20 20 28 | 46 4d 69 29 7d 0a 5c 67 |date>  (|FMi)}.\g|
|00000ab0| 64 65 66 5c 74 68 65 6f | 72 65 6d 73 74 79 6c 65 |def\theo|remstyle|
|00000ac0| 23 31 7b 25 0a 20 20 20 | 5c 40 69 66 75 6e 64 65 |#1{%.   |\@ifunde|
|00000ad0| 66 69 6e 65 64 7b 74 68 | 40 23 31 7d 7b 5c 40 77 |fined{th|@#1}{\@w|
|00000ae0| 61 72 6e 69 6e 67 0a 20 | 20 20 20 20 20 20 20 20 |arning. |        |
|00000af0| 20 7b 55 6e 6b 6e 6f 77 | 6e 20 74 68 65 6f 72 65 | {Unknow|n theore|
|00000b00| 6d 73 74 79 6c 65 20 60 | 23 31 27 2e 20 55 73 69 |mstyle `|#1'. Usi|
|00000b10| 6e 67 20 60 70 6c 61 69 | 6e 27 7d 25 0a 20 20 20 |ng `plai|n'}%.   |
|00000b20| 20 20 20 20 20 20 20 5c | 74 68 65 6f 72 65 6d 40 |       \|theorem@|
|00000b30| 73 74 79 6c 65 7b 70 6c | 61 69 6e 7d 7d 25 0a 20 |style{pl|ain}}%. |
|00000b40| 20 20 20 20 20 7b 5c 74 | 68 65 6f 72 65 6d 40 73 |     {\t|heorem@s|
|00000b50| 74 79 6c 65 7b 23 31 7d | 7d 25 0a 20 20 20 20 20 |tyle{#1}|}%.     |
|00000b60| 20 5c 62 65 67 69 6e 67 | 72 6f 75 70 0a 20 20 20 | \beging|roup.   |
|00000b70| 20 20 20 20 20 5c 63 73 | 6e 61 6d 65 20 74 68 40 |     \cs|name th@|
|00000b80| 5c 74 68 65 5c 74 68 65 | 6f 72 65 6d 40 73 74 79 |\the\the|orem@sty|
|00000b90| 6c 65 20 5c 65 6e 64 63 | 73 6e 61 6d 65 0a 20 20 |le \endc|sname.  |
|00000ba0| 20 20 20 20 5c 65 6e 64 | 67 72 6f 75 70 7d 0a 5c |    \end|group}.\|
|00000bb0| 67 6c 6f 62 61 6c 5c 6c | 65 74 5c 40 62 65 67 69 |global\l|et\@begi|
|00000bc0| 6e 74 68 65 6f 72 65 6d | 5c 72 65 6c 61 78 0a 5c |ntheorem|\relax.\|
|00000bd0| 67 6c 6f 62 61 6c 5c 6c | 65 74 5c 40 6f 70 61 72 |global\l|et\@opar|
|00000be0| 67 62 65 67 69 6e 74 68 | 65 6f 72 65 6d 5c 72 65 |gbeginth|eorem\re|
|00000bf0| 6c 61 78 0a 5c 6e 65 77 | 74 6f 6b 73 5c 74 68 65 |lax.\new|toks\the|
|00000c00| 6f 72 65 6d 40 73 74 79 | 6c 65 0a 5c 67 6c 6f 62 |orem@sty|le.\glob|
|00000c10| 61 6c 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 |al\theor|em@style|
|00000c20| 7b 70 6c 61 69 6e 7d 0a | 5c 67 64 65 66 5c 74 68 |{plain}.|\gdef\th|
|00000c30| 65 6f 72 65 6d 62 6f 64 | 79 66 6f 6e 74 23 31 7b |eorembod|yfont#1{|
|00000c40| 5c 74 68 65 6f 72 65 6d | 40 62 6f 64 79 66 6f 6e |\theorem|@bodyfon|
|00000c50| 74 7b 5c 72 65 73 65 74 | 40 66 6f 6e 74 23 31 7d |t{\reset|@font#1}|
|00000c60| 7d 0a 5c 6e 65 77 74 6f | 6b 73 5c 74 68 65 6f 72 |}.\newto|ks\theor|
|00000c70| 65 6d 40 62 6f 64 79 66 | 6f 6e 74 0a 5c 67 6c 6f |em@bodyf|ont.\glo|
|00000c80| 62 61 6c 5c 74 68 65 6f | 72 65 6d 40 62 6f 64 79 |bal\theo|rem@body|
|00000c90| 66 6f 6e 74 7b 7d 0a 5c | 67 64 65 66 5c 74 68 65 |font{}.\|gdef\the|
|00000ca0| 6f 72 65 6d 68 65 61 64 | 65 72 66 6f 6e 74 23 31 |oremhead|erfont#1|
|00000cb0| 7b 5c 67 64 65 66 5c 74 | 68 65 6f 72 65 6d 40 68 |{\gdef\t|heorem@h|
|00000cc0| 65 61 64 65 72 66 6f 6e | 74 7b 23 31 7d 25 0a 20 |eaderfon|t{#1}%. |
|00000cd0| 20 20 20 20 20 20 5c 67 | 64 65 66 5c 74 68 65 6f |      \g|def\theo|
|00000ce0| 72 65 6d 68 65 61 64 65 | 72 66 6f 6e 74 23 23 31 |remheade|rfont##1|
|00000cf0| 7b 25 0a 20 20 20 20 20 | 20 20 20 5c 74 79 70 65 |{%.     |   \type|
|00000d00| 6f 75 74 7b 5c 73 74 72 | 69 6e 67 5c 74 68 65 6f |out{\str|ing\theo|
|00000d10| 72 65 6d 68 65 61 64 65 | 72 66 6f 6e 74 5c 73 70 |remheade|rfont\sp|
|00000d20| 61 63 65 20 73 68 6f 75 | 6c 64 20 62 65 20 75 73 |ace shou|ld be us|
|00000d30| 65 64 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |ed.     |        |
|00000d40| 20 20 20 20 6f 6e 6c 79 | 20 6f 6e 63 65 2e 7d 7d |    only| once.}}|
|00000d50| 7d 0a 5c 69 66 78 5c 6e | 6f 72 6d 61 6c 73 68 61 |}.\ifx\n|ormalsha|
|00000d60| 70 65 5c 75 6e 64 65 66 | 69 6e 65 64 0a 5c 67 64 |pe\undef|ined.\gd|
|00000d70| 65 66 5c 74 68 65 6f 72 | 65 6d 40 68 65 61 64 65 |ef\theor|em@heade|
|00000d80| 72 66 6f 6e 74 7b 5c 62 | 66 7d 0a 5c 65 6c 73 65 |rfont{\b|f}.\else|
|00000d90| 20 5c 67 64 65 66 5c 74 | 68 65 6f 72 65 6d 40 68 | \gdef\t|heorem@h|
|00000da0| 65 61 64 65 72 66 6f 6e | 74 7b 5c 6e 6f 72 6d 61 |eaderfon|t{\norma|
|00000db0| 6c 73 68 61 70 65 5c 62 | 66 7d 5c 66 69 0a 5c 67 |lshape\b|f}\fi.\g|
|00000dc0| 64 65 66 5c 74 68 40 70 | 6c 61 69 6e 7b 5c 69 6e |def\th@p|lain{\in|
|00000dd0| 70 75 74 20 74 68 70 2e | 73 74 79 7d 0a 5c 67 64 |put thp.|sty}.\gd|
|00000de0| 65 66 5c 74 68 40 62 72 | 65 61 6b 7b 5c 69 6e 70 |ef\th@br|eak{\inp|
|00000df0| 75 74 20 74 68 62 2e 73 | 74 79 7d 0a 5c 67 64 65 |ut thb.s|ty}.\gde|
|00000e00| 66 5c 74 68 40 6d 61 72 | 67 69 6e 62 72 65 61 6b |f\th@mar|ginbreak|
|00000e10| 7b 5c 69 6e 70 75 74 20 | 74 68 6d 62 2e 73 74 79 |{\input |thmb.sty|
|00000e20| 7d 0a 5c 67 64 65 66 5c | 74 68 40 63 68 61 6e 67 |}.\gdef\|th@chang|
|00000e30| 65 62 72 65 61 6b 7b 5c | 69 6e 70 75 74 20 74 68 |ebreak{\|input th|
|00000e40| 63 62 2e 73 74 79 7d 0a | 5c 67 64 65 66 5c 74 68 |cb.sty}.|\gdef\th|
|00000e50| 40 63 68 61 6e 67 65 7b | 5c 69 6e 70 75 74 20 74 |@change{|\input t|
|00000e60| 68 63 2e 73 74 79 7d 0a | 5c 67 64 65 66 5c 74 68 |hc.sty}.|\gdef\th|
|00000e70| 40 6d 61 72 67 69 6e 7b | 5c 69 6e 70 75 74 20 74 |@margin{|\input t|
|00000e80| 68 6d 2e 73 74 79 7d 0a | 5c 67 64 65 66 5c 40 78 |hm.sty}.|\gdef\@x|
|00000e90| 6e 74 68 6d 23 31 23 32 | 5b 23 33 5d 7b 5c 65 78 |nthm#1#2|[#3]{\ex|
|00000ea0| 70 61 6e 64 61 66 74 65 | 72 5c 40 69 66 64 65 66 |pandafte|r\@ifdef|
|00000eb0| 69 6e 61 62 6c 65 5c 63 | 73 6e 61 6d 65 20 23 31 |inable\c|sname #1|
|00000ec0| 5c 65 6e 64 63 73 6e 61 | 6d 65 0a 20 20 20 7b 25 |\endcsna|me.   {%|
|00000ed0| 0a 20 20 20 20 5c 40 64 | 65 66 69 6e 65 63 6f 75 |.    \@d|efinecou|
|00000ee0| 6e 74 65 72 7b 23 31 7d | 5c 40 61 64 64 74 6f 72 |nter{#1}|\@addtor|
|00000ef0| 65 73 65 74 7b 23 31 7d | 7b 23 33 7d 25 0a 20 20 |eset{#1}|{#3}%.  |
|00000f00| 20 20 5c 65 78 70 61 6e | 64 61 66 74 65 72 5c 78 |  \expan|dafter\x|
|00000f10| 64 65 66 5c 63 73 6e 61 | 6d 65 20 74 68 65 23 31 |def\csna|me the#1|
|00000f20| 5c 65 6e 64 63 73 6e 61 | 6d 65 0a 20 20 20 20 20 |\endcsna|me.     |
|00000f30| 20 7b 5c 65 78 70 61 6e | 64 61 66 74 65 72 20 5c | {\expan|dafter \|
|00000f40| 6e 6f 65 78 70 61 6e 64 | 20 5c 63 73 6e 61 6d 65 |noexpand| \csname|
|00000f50| 20 74 68 65 23 33 5c 65 | 6e 64 63 73 6e 61 6d 65 | the#3\e|ndcsname|
|00000f60| 0a 20 20 20 20 20 20 20 | 5c 40 74 68 6d 63 6f 75 |.       |\@thmcou|
|00000f70| 6e 74 65 72 73 65 70 20 | 5c 40 74 68 6d 63 6f 75 |ntersep |\@thmcou|
|00000f80| 6e 74 65 72 7b 23 31 7d | 7d 25 0a 20 20 20 20 5c |nter{#1}|}%.    \|
|00000f90| 64 65 66 5c 40 74 65 6d | 70 61 7b 5c 67 6c 6f 62 |def\@tem|pa{\glob|
|00000fa0| 61 6c 5c 40 6e 61 6d 65 | 64 65 66 7b 23 31 7d 7d |al\@name|def{#1}}|
|00000fb0| 25 0a 20 20 20 20 5c 65 | 78 70 61 6e 64 61 66 74 |%.    \e|xpandaft|
|00000fc0| 65 72 20 5c 40 74 65 6d | 70 61 20 5c 65 78 70 61 |er \@tem|pa \expa|
|00000fd0| 6e 64 61 66 74 65 72 7b | 25 0a 20 20 20 20 20 20 |ndafter{|%.      |
|00000fe0| 5c 63 73 6e 61 6d 65 20 | 74 68 40 5c 74 68 65 20 |\csname |th@\the |
|00000ff0| 5c 74 68 65 6f 72 65 6d | 40 73 74 79 6c 65 0a 20 |\theorem|@style. |
|00001000| 20 20 20 20 20 20 20 20 | 20 20 20 5c 65 78 70 61 |        |   \expa|
|00001010| 6e 64 61 66 74 65 72 20 | 5c 65 6e 64 63 73 6e 61 |ndafter |\endcsna|
|00001020| 6d 65 20 5c 74 68 65 20 | 5c 74 68 65 6f 72 65 6d |me \the |\theorem|
|00001030| 40 62 6f 64 79 66 6f 6e | 74 0a 20 20 20 20 20 5c |@bodyfon|t.     \|
|00001040| 40 74 68 6d 7b 23 31 7d | 7b 23 32 7d 7d 25 0a 20 |@thm{#1}|{#2}}%. |
|00001050| 20 20 20 5c 67 6c 6f 62 | 61 6c 20 5c 65 78 70 61 |   \glob|al \expa|
|00001060| 6e 64 61 66 74 65 72 20 | 5c 6c 65 74 20 5c 63 73 |ndafter |\let \cs|
|00001070| 6e 61 6d 65 20 65 6e 64 | 23 31 5c 65 6e 64 63 73 |name end|#1\endcs|
|00001080| 6e 61 6d 65 20 5c 40 65 | 6e 64 74 68 65 6f 72 65 |name \@e|ndtheore|
|00001090| 6d 0a 20 20 20 7d 7d 0a | 5c 67 64 65 66 5c 40 79 |m.   }}.|\gdef\@y|
|000010a0| 6e 74 68 6d 23 31 23 32 | 7b 5c 65 78 70 61 6e 64 |nthm#1#2|{\expand|
|000010b0| 61 66 74 65 72 5c 40 69 | 66 64 65 66 69 6e 61 62 |after\@i|fdefinab|
|000010c0| 6c 65 5c 63 73 6e 61 6d | 65 20 23 31 5c 65 6e 64 |le\csnam|e #1\end|
|000010d0| 63 73 6e 61 6d 65 0a 20 | 20 20 7b 5c 40 64 65 66 |csname. |  {\@def|
|000010e0| 69 6e 65 63 6f 75 6e 74 | 65 72 7b 23 31 7d 25 0a |inecount|er{#1}%.|
|000010f0| 20 20 20 20 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |    \exp|andafter|
|00001100| 5c 78 64 65 66 5c 63 73 | 6e 61 6d 65 20 74 68 65 |\xdef\cs|name the|
|00001110| 23 31 5c 65 6e 64 63 73 | 6e 61 6d 65 7b 5c 40 74 |#1\endcs|name{\@t|
|00001120| 68 6d 63 6f 75 6e 74 65 | 72 7b 23 31 7d 7d 25 0a |hmcounte|r{#1}}%.|
|00001130| 20 20 20 20 5c 64 65 66 | 5c 40 74 65 6d 70 61 7b |    \def|\@tempa{|
|00001140| 5c 67 6c 6f 62 61 6c 5c | 40 6e 61 6d 65 64 65 66 |\global\|@namedef|
|00001150| 7b 23 31 7d 7d 5c 65 78 | 70 61 6e 64 61 66 74 65 |{#1}}\ex|pandafte|
|00001160| 72 20 5c 40 74 65 6d 70 | 61 0a 20 20 20 20 20 5c |r \@temp|a.     \|
|00001170| 65 78 70 61 6e 64 61 66 | 74 65 72 7b 5c 63 73 6e |expandaf|ter{\csn|
|00001180| 61 6d 65 20 74 68 40 5c | 74 68 65 20 5c 74 68 65 |ame th@\|the \the|
|00001190| 6f 72 65 6d 40 73 74 79 | 6c 65 20 5c 65 78 70 61 |orem@sty|le \expa|
|000011a0| 6e 64 61 66 74 65 72 0a | 20 20 20 20 20 5c 65 6e |ndafter.|     \en|
|000011b0| 64 63 73 6e 61 6d 65 20 | 5c 74 68 65 5c 74 68 65 |dcsname |\the\the|
|000011c0| 6f 72 65 6d 40 62 6f 64 | 79 66 6f 6e 74 20 5c 40 |orem@bod|yfont \@|
|000011d0| 74 68 6d 7b 23 31 7d 7b | 23 32 7d 7d 25 0a 20 20 |thm{#1}{|#2}}%.  |
|000011e0| 20 20 5c 67 6c 6f 62 61 | 6c 20 5c 65 78 70 61 6e |  \globa|l \expan|
|000011f0| 64 61 66 74 65 72 20 5c | 6c 65 74 20 5c 63 73 6e |dafter \|let \csn|
|00001200| 61 6d 65 20 65 6e 64 23 | 31 5c 65 6e 64 63 73 6e |ame end#|1\endcsn|
|00001210| 61 6d 65 20 5c 40 65 6e | 64 74 68 65 6f 72 65 6d |ame \@en|dtheorem|
|00001220| 7d 7d 0a 5c 67 64 65 66 | 5c 40 6f 74 68 6d 23 31 |}}.\gdef|\@othm#1|
|00001230| 5b 23 32 5d 23 33 7b 5c | 65 78 70 61 6e 64 61 66 |[#2]#3{\|expandaf|
|00001240| 74 65 72 5c 40 69 66 64 | 65 66 69 6e 61 62 6c 65 |ter\@ifd|efinable|
|00001250| 5c 63 73 6e 61 6d 65 20 | 23 31 5c 65 6e 64 63 73 |\csname |#1\endcs|
|00001260| 6e 61 6d 65 0a 20 20 7b | 5c 65 78 70 61 6e 64 61 |name.  {|\expanda|
|00001270| 66 74 65 72 20 5c 78 64 | 65 66 20 5c 63 73 6e 61 |fter \xd|ef \csna|
|00001280| 6d 65 20 74 68 65 23 31 | 5c 65 6e 64 63 73 6e 61 |me the#1|\endcsna|
|00001290| 6d 65 0a 20 20 20 20 20 | 7b 5c 65 78 70 61 6e 64 |me.     |{\expand|
|000012a0| 61 66 74 65 72 20 5c 6e | 6f 65 78 70 61 6e 64 20 |after \n|oexpand |
|000012b0| 5c 63 73 6e 61 6d 65 20 | 74 68 65 23 32 5c 65 6e |\csname |the#2\en|
|000012c0| 64 63 73 6e 61 6d 65 7d | 25 0a 20 20 20 20 5c 64 |dcsname}|%.    \d|
|000012d0| 65 66 5c 40 74 65 6d 70 | 61 7b 5c 67 6c 6f 62 61 |ef\@temp|a{\globa|
|000012e0| 6c 5c 40 6e 61 6d 65 64 | 65 66 7b 23 31 7d 7d 5c |l\@named|ef{#1}}\|
|000012f0| 65 78 70 61 6e 64 61 66 | 74 65 72 20 5c 40 74 65 |expandaf|ter \@te|
|00001300| 6d 70 61 0a 20 20 20 20 | 20 5c 65 78 70 61 6e 64 |mpa.    | \expand|
|00001310| 61 66 74 65 72 7b 5c 63 | 73 6e 61 6d 65 20 74 68 |after{\c|sname th|
|00001320| 40 5c 74 68 65 20 5c 74 | 68 65 6f 72 65 6d 40 73 |@\the \t|heorem@s|
|00001330| 74 79 6c 65 20 5c 65 78 | 70 61 6e 64 61 66 74 65 |tyle \ex|pandafte|
|00001340| 72 0a 20 20 20 20 20 5c | 65 6e 64 63 73 6e 61 6d |r.     \|endcsnam|
|00001350| 65 20 5c 74 68 65 5c 74 | 68 65 6f 72 65 6d 40 62 |e \the\t|heorem@b|
|00001360| 6f 64 79 66 6f 6e 74 20 | 5c 40 74 68 6d 7b 23 32 |odyfont |\@thm{#2|
|00001370| 7d 7b 23 33 7d 7d 25 0a | 20 20 20 20 5c 67 6c 6f |}{#3}}%.|    \glo|
|00001380| 62 61 6c 20 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |bal \exp|andafter|
|00001390| 20 5c 6c 65 74 20 5c 63 | 73 6e 61 6d 65 20 65 6e | \let \c|sname en|
|000013a0| 64 23 31 5c 65 6e 64 63 | 73 6e 61 6d 65 20 5c 40 |d#1\endc|sname \@|
|000013b0| 65 6e 64 74 68 65 6f 72 | 65 6d 7d 7d 0a 5c 67 64 |endtheor|em}}.\gd|
|000013c0| 65 66 5c 40 74 68 6d 23 | 31 23 32 7b 5c 72 65 66 |ef\@thm#|1#2{\ref|
|000013d0| 73 74 65 70 63 6f 75 6e | 74 65 72 7b 23 31 7d 25 |stepcoun|ter{#1}%|
|000013e0| 0a 20 20 20 5c 74 72 69 | 76 6c 69 73 74 0a 20 20 |.   \tri|vlist.  |
|000013f0| 20 5c 40 74 6f 70 73 65 | 70 20 5c 74 68 65 6f 72 | \@topse|p \theor|
|00001400| 65 6d 70 72 65 73 6b 69 | 70 61 6d 6f 75 6e 74 20 |empreski|pamount |
|00001410| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 25 20 |        |      % |
|00001420| 75 73 65 64 20 62 79 20 | 66 69 72 73 74 20 5c 69 |used by |first \i|
|00001430| 74 65 6d 0a 20 20 20 5c | 40 74 6f 70 73 65 70 61 |tem.   \|@topsepa|
|00001440| 64 64 20 5c 74 68 65 6f | 72 65 6d 70 6f 73 74 73 |dd \theo|remposts|
|00001450| 6b 69 70 61 6d 6f 75 6e | 74 20 20 20 20 20 20 20 |kipamoun|t       |
|00001460| 20 20 20 20 25 20 75 73 | 65 64 20 62 79 20 5c 40 |    % us|ed by \@|
|00001470| 65 6e 64 70 61 72 65 6e | 76 0a 20 20 20 5c 40 69 |endparen|v.   \@i|
|00001480| 66 6e 65 78 74 63 68 61 | 72 20 5b 25 0a 20 20 20 |fnextcha|r [%.   |
|00001490| 7b 5c 40 79 74 68 6d 7b | 23 31 7d 7b 23 32 7d 7d |{\@ythm{|#1}{#2}}|
|000014a0| 25 0a 20 20 20 7b 5c 40 | 62 65 67 69 6e 74 68 65 |%.   {\@|beginthe|
|000014b0| 6f 72 65 6d 7b 23 32 7d | 7b 5c 63 73 6e 61 6d 65 |orem{#2}|{\csname|
|000014c0| 20 74 68 65 23 31 5c 65 | 6e 64 63 73 6e 61 6d 65 | the#1\e|ndcsname|
|000014d0| 7d 5c 69 67 6e 6f 72 65 | 73 70 61 63 65 73 7d 7d |}\ignore|spaces}}|
|000014e0| 0a 5c 67 6c 6f 62 61 6c | 5c 6c 65 74 5c 40 78 74 |.\global|\let\@xt|
|000014f0| 68 6d 5c 72 65 6c 61 78 | 0a 5c 6e 65 77 73 6b 69 |hm\relax|.\newski|
|00001500| 70 5c 74 68 65 6f 72 65 | 6d 70 72 65 73 6b 69 70 |p\theore|mpreskip|
|00001510| 61 6d 6f 75 6e 74 0a 5c | 6e 65 77 73 6b 69 70 5c |amount.\|newskip\|
|00001520| 74 68 65 6f 72 65 6d 70 | 6f 73 74 73 6b 69 70 61 |theoremp|ostskipa|
|00001530| 6d 6f 75 6e 74 0a 5c 67 | 6c 6f 62 61 6c 5c 73 65 |mount.\g|lobal\se|
|00001540| 74 6c 65 6e 67 74 68 5c | 74 68 65 6f 72 65 6d 70 |tlength\|theoremp|
|00001550| 72 65 73 6b 69 70 61 6d | 6f 75 6e 74 7b 31 32 70 |reskipam|ount{12p|
|00001560| 74 20 70 6c 75 73 20 35 | 70 74 20 6d 69 6e 75 73 |t plus 5|pt minus|
|00001570| 20 33 70 74 7d 0a 5c 67 | 6c 6f 62 61 6c 5c 73 65 | 3pt}.\g|lobal\se|
|00001580| 74 6c 65 6e 67 74 68 5c | 74 68 65 6f 72 65 6d 70 |tlength\|theoremp|
|00001590| 6f 73 74 73 6b 69 70 61 | 6d 6f 75 6e 74 7b 38 70 |ostskipa|mount{8p|
|000015a0| 74 20 70 6c 75 73 20 33 | 70 74 20 6d 69 6e 75 73 |t plus 3|pt minus|
|000015b0| 20 31 2e 35 70 74 7d 0a | 5c 67 6c 6f 62 61 6c 5c | 1.5pt}.|\global\|
|000015c0| 6c 65 74 5c 40 65 6e 64 | 74 68 65 6f 72 65 6d 3d |let\@end|theorem=|
|000015d0| 5c 65 6e 64 74 72 69 76 | 6c 69 73 74 0a 7b 5c 64 |\endtriv|list.{\d|
|000015e0| 65 66 5c 64 6f 7b 5c 6e | 6f 65 78 70 61 6e 64 5c |ef\do{\n|oexpand\|
|000015f0| 64 6f 5c 6e 6f 65 78 70 | 61 6e 64 7d 0a 5c 78 64 |do\noexp|and}.\xd|
|00001600| 65 66 5c 40 70 72 65 61 | 6d 62 6c 65 63 6d 64 73 |ef\@prea|mblecmds|
|00001610| 7b 5c 40 70 72 65 61 6d | 62 6c 65 63 6d 64 73 20 |{\@pream|blecmds |
|00001620| 5c 64 6f 5c 40 78 6e 74 | 68 6d 20 5c 64 6f 5c 40 |\do\@xnt|hm \do\@|
|00001630| 79 6e 74 68 6d 20 5c 64 | 6f 5c 40 6f 74 68 6d 0a |ynthm \d|o\@othm.|
|00001640| 20 20 20 20 20 20 20 20 | 5c 64 6f 5c 6e 65 77 74 |        |\do\newt|
|00001650| 68 65 6f 72 65 6d 20 5c | 64 6f 5c 74 68 65 6f 72 |heorem \|do\theor|
|00001660| 65 6d 73 74 79 6c 65 20 | 5c 64 6f 5c 74 68 65 6f |emstyle |\do\theo|
|00001670| 72 65 6d 62 6f 64 79 66 | 6f 6e 74 0a 20 20 20 20 |rembodyf|ont.    |
|00001680| 20 20 20 20 5c 64 6f 5c | 74 68 65 6f 72 65 6d 68 |    \do\|theoremh|
|00001690| 65 61 64 65 72 66 6f 6e | 74 7d 0a 7d 0a 5c 74 68 |eaderfon|t}.}.\th|
|000016a0| 65 6f 72 65 6d 73 74 79 | 6c 65 7b 70 6c 61 69 6e |eoremsty|le{plain|
|000016b0| 7d 0a 0a 5c 65 6e 64 69 | 6e 70 75 74 0a 25 25 20 |}..\endi|nput.%% |
|000016c0| 0a 25 25 20 45 6e 64 20 | 6f 66 20 66 69 6c 65 20 |.%% End |of file |
|000016d0| 60 74 68 65 6f 72 65 6d | 2e 73 74 79 27 2e 0a    |`theorem|.sty'.. |
+--------+-------------------------+-------------------------+--------+--------+