/ Meeting Pearls 3 / Meeting_Pearls_III.iso / Pearls / texmf / inputs / misc / thm.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 6d | 2e 73 74 79 27 2c 20 67 |ile `thm|.sty', g|
|00000020| 65 6e 65 72 61 74 65 64 | 20 0a 25 25 20 6f 6e 20 |enerated| .%% on |
|00000030| 3c 31 39 39 34 2f 35 2f | 32 30 3e 20 77 69 74 68 |<1994/5/|20> with|
|00000040| 20 74 68 65 20 64 6f 63 | 73 74 72 69 70 20 75 74 | the doc|strip ut|
|00000050| 69 6c 69 74 79 20 28 32 | 2e 30 72 29 2e 0a 25 25 |ility (2|.0r)..%%|
|00000060| 20 0a 25 25 20 54 68 65 | 20 6f 72 69 67 69 6e 61 | .%% The| origina|
|00000070| 6c 20 73 6f 75 72 63 65 | 20 66 69 6c 65 73 20 77 |l source| files w|
|00000080| 65 72 65 3a 0a 25 25 20 | 0a 25 25 20 74 68 6d 2e |ere:.%% |.%% thm.|
|00000090| 64 6f 63 20 0a 25 25 20 | 0a 25 25 20 43 6f 70 79 |doc .%% |.%% Copy|
|000000a0| 72 69 67 68 74 20 28 43 | 29 20 31 39 38 39 2d 31 |right (C|) 1989-1|
|000000b0| 39 39 32 20 62 79 20 46 | 72 61 6e 6b 20 4d 69 74 |992 by F|rank Mit|
|000000c0| 74 65 6c 62 61 63 68 2e | 20 41 6c 6c 20 72 69 67 |telbach.| All rig|
|000000d0| 68 74 73 20 72 65 73 65 | 72 76 65 64 2e 20 0a 25 |hts rese|rved. .%|
|000000e0| 25 20 0a 25 25 20 54 68 | 69 73 20 66 69 6c 65 20 |% .%% Th|is file |
|000000f0| 69 73 20 70 61 72 74 20 | 6f 66 20 74 68 65 20 6d |is part |of the m|
|00000100| 75 6c 74 69 63 6f 6c 20 | 70 61 63 6b 61 67 65 2e |ulticol |package.|
|00000110| 20 0a 25 25 20 0a 25 25 | 20 49 4d 50 4f 52 54 41 | .%% .%%| IMPORTA|
|00000120| 4e 54 20 4e 4f 54 49 43 | 45 3a 20 0a 25 25 20 0a |NT NOTIC|E: .%% .|
|00000130| 25 25 20 59 6f 75 20 61 | 72 65 20 6e 6f 74 20 61 |%% You a|re not a|
|00000140| 6c 6c 6f 77 65 64 20 74 | 6f 20 63 68 61 6e 67 65 |llowed t|o change|
|00000150| 20 74 68 69 73 20 66 69 | 6c 65 2e 20 59 6f 75 20 | this fi|le. You |
|00000160| 6d 61 79 20 68 6f 77 65 | 76 65 72 20 63 6f 70 79 |may howe|ver copy|
|00000170| 20 74 68 69 73 20 0a 25 | 25 20 66 69 6c 65 20 74 | this .%|% file t|
|00000180| 6f 20 61 20 66 69 6c 65 | 20 77 69 74 68 20 61 20 |o a file| with a |
|00000190| 64 69 66 66 65 72 65 6e | 74 20 6e 61 6d 65 20 61 |differen|t name a|
|000001a0| 6e 64 20 74 68 65 6e 20 | 63 68 61 6e 67 65 20 74 |nd then |change t|
|000001b0| 68 65 20 63 6f 70 79 20 | 69 66 20 79 6f 75 20 0a |he copy |if you .|
|000001c0| 25 25 20 6f 62 65 79 20 | 74 68 65 20 72 65 73 74 |%% obey |the rest|
|000001d0| 72 69 63 74 69 6f 6e 73 | 20 6f 6e 20 66 69 6c 65 |rictions| on file|
|000001e0| 20 63 68 61 6e 67 65 73 | 20 64 65 73 63 72 69 62 | changes| describ|
|000001f0| 65 64 20 69 6e 20 72 65 | 61 64 6d 65 2e 6d 7a 2e |ed in re|adme.mz.|
|00000200| 20 0a 25 25 20 0a 25 25 | 20 59 6f 75 20 61 72 65 | .%% .%%| You are|
|00000210| 20 4e 4f 54 20 41 4c 4c | 4f 57 45 44 20 74 6f 20 | NOT ALL|OWED to |
|00000220| 64 69 73 74 72 69 62 75 | 74 65 20 74 68 69 73 20 |distribu|te this |
|00000230| 66 69 6c 65 20 61 6c 6f | 6e 65 2e 20 59 6f 75 20 |file alo|ne. You |
|00000240| 61 72 65 20 4e 4f 54 20 | 0a 25 25 20 41 4c 4c 4f |are NOT |.%% ALLO|
|00000250| 57 45 44 20 74 6f 20 74 | 61 6b 65 20 6d 6f 6e 65 |WED to t|ake mone|
|00000260| 79 20 66 6f 72 20 74 68 | 65 20 64 69 73 74 72 69 |y for th|e distri|
|00000270| 62 75 74 69 6f 6e 20 6f | 72 20 75 73 65 20 6f 66 |bution o|r use of|
|00000280| 20 74 68 69 73 20 66 69 | 6c 65 20 28 6f 72 20 61 | this fi|le (or a|
|00000290| 20 0a 25 25 20 63 68 61 | 6e 67 65 64 20 76 65 72 | .%% cha|nged ver|
|000002a0| 73 69 6f 6e 29 20 65 78 | 63 65 70 74 20 66 6f 72 |sion) ex|cept for|
|000002b0| 20 61 20 6e 6f 6d 69 6e | 61 6c 20 63 68 61 72 67 | a nomin|al charg|
|000002c0| 65 20 66 6f 72 20 63 6f | 70 79 69 6e 67 20 65 74 |e for co|pying et|
|000002d0| 63 2e 20 0a 25 25 20 0a | 25 25 20 59 6f 75 20 61 |c. .%% .|%% You a|
|000002e0| 72 65 20 61 6c 6c 6f 77 | 65 64 20 74 6f 20 64 69 |re allow|ed to di|
|000002f0| 73 74 72 69 62 75 74 65 | 20 74 68 69 73 20 66 69 |stribute| this fi|
|00000300| 6c 65 20 75 6e 64 65 72 | 20 74 68 65 20 63 6f 6e |le under| the con|
|00000310| 64 69 74 69 6f 6e 20 74 | 68 61 74 20 69 74 20 69 |dition t|hat it i|
|00000320| 73 20 0a 25 25 20 64 69 | 73 74 72 69 62 75 74 65 |s .%% di|stribute|
|00000330| 64 20 74 6f 67 65 74 68 | 65 72 20 77 69 74 68 20 |d togeth|er with |
|00000340| 61 6c 6c 20 66 69 6c 65 | 73 20 6d 65 6e 74 69 6f |all file|s mentio|
|00000350| 6e 65 64 20 69 6e 20 72 | 65 61 64 6d 65 2e 6d 7a |ned in r|eadme.mz|
|00000360| 32 2e 20 0a 25 25 20 0a | 25 25 20 49 66 20 79 6f |2. .%% .|%% If yo|
|00000370| 75 20 72 65 63 65 69 76 | 65 20 6f 6e 6c 79 20 73 |u receiv|e only s|
|00000380| 6f 6d 65 20 6f 66 20 74 | 68 65 73 65 20 66 69 6c |ome of t|hese fil|
|00000390| 65 73 20 66 72 6f 6d 20 | 73 6f 6d 65 6f 6e 65 2c |es from |someone,|
|000003a0| 20 63 6f 6d 70 6c 61 69 | 6e 21 20 0a 25 25 20 0a | complai|n! .%% .|
|000003b0| 25 25 20 48 6f 77 65 76 | 65 72 2c 20 69 66 20 74 |%% Howev|er, if t|
|000003c0| 68 65 73 65 20 66 69 6c | 65 73 20 61 72 65 20 64 |hese fil|es are d|
|000003d0| 69 73 74 72 69 62 75 74 | 65 64 20 62 79 20 65 73 |istribut|ed by es|
|000003e0| 74 61 62 6c 69 73 68 65 | 64 20 73 75 70 70 6c 69 |tablishe|d suppli|
|000003f0| 65 72 73 20 61 73 20 0a | 25 25 20 70 61 72 74 20 |ers as .|%% part |
|00000400| 6f 66 20 61 20 63 6f 6d | 70 6c 65 74 65 20 54 65 |of a com|plete Te|
|00000410| 58 20 64 69 73 74 72 69 | 62 75 74 69 6f 6e 2c 20 |X distri|bution, |
|00000420| 61 6e 64 20 74 68 65 20 | 73 74 72 75 63 74 75 72 |and the |structur|
|00000430| 65 20 6f 66 20 74 68 65 | 20 0a 25 25 20 64 69 73 |e of the| .%% dis|
|00000440| 74 72 69 62 75 74 69 6f | 6e 20 77 6f 75 6c 64 20 |tributio|n would |
|00000450| 6d 61 6b 65 20 69 74 20 | 64 69 66 66 69 63 75 6c |make it |difficul|
|00000460| 74 20 74 6f 20 64 69 73 | 74 72 69 62 75 74 65 20 |t to dis|tribute |
|00000470| 74 68 65 20 77 68 6f 6c | 65 20 73 65 74 20 6f 66 |the whol|e set of|
|00000480| 20 0a 25 25 20 66 69 6c | 65 73 2c 20 2a 74 68 6f | .%% fil|es, *tho|
|00000490| 73 65 20 70 61 72 74 69 | 65 73 2a 20 61 72 65 20 |se parti|es* are |
|000004a0| 61 6c 6c 6f 77 65 64 20 | 74 6f 20 64 69 73 74 72 |allowed |to distr|
|000004b0| 69 62 75 74 65 20 6f 6e | 6c 79 20 73 6f 6d 65 20 |ibute on|ly some |
|000004c0| 6f 66 20 74 68 65 20 0a | 25 25 20 66 69 6c 65 73 |of the .|%% files|
|000004d0| 20 70 72 6f 76 69 64 65 | 64 20 74 68 61 74 20 69 | provide|d that i|
|000004e0| 74 20 69 73 20 6d 61 64 | 65 20 63 6c 65 61 72 20 |t is mad|e clear |
|000004f0| 74 68 61 74 20 74 68 65 | 20 75 73 65 72 20 77 69 |that the| user wi|
|00000500| 6c 6c 20 67 65 74 20 61 | 20 63 6f 6d 70 6c 65 74 |ll get a| complet|
|00000510| 65 20 0a 25 25 20 64 69 | 73 74 72 69 62 75 74 69 |e .%% di|stributi|
|00000520| 6f 6e 2d 73 65 74 20 75 | 70 6f 6e 20 72 65 71 75 |on-set u|pon requ|
|00000530| 65 73 74 20 74 6f 20 74 | 68 61 74 20 73 75 70 70 |est to t|hat supp|
|00000540| 6c 69 65 72 20 28 6e 6f | 74 20 6d 65 29 2e 20 4e |lier (no|t me). N|
|00000550| 6f 74 69 63 65 20 74 68 | 61 74 20 0a 25 25 20 74 |otice th|at .%% t|
|00000560| 68 69 73 20 70 65 72 6d | 69 73 73 69 6f 6e 20 69 |his perm|ission i|
|00000570| 73 20 6e 6f 74 20 67 72 | 61 6e 74 65 64 20 74 6f |s not gr|anted to|
|00000580| 20 74 68 65 20 65 6e 64 | 20 75 73 65 72 2e 20 0a | the end| user. .|
|00000590| 25 25 20 0a 25 25 20 0a | 25 25 20 46 6f 72 20 65 |%% .%% .|%% For e|
|000005a0| 72 72 6f 72 20 72 65 70 | 6f 72 74 73 20 69 6e 20 |rror rep|orts in |
|000005b0| 63 61 73 65 20 6f 66 20 | 55 4e 43 48 41 4e 47 45 |case of |UNCHANGE|
|000005c0| 44 20 76 65 72 73 69 6f | 6e 73 20 73 65 65 20 72 |D versio|ns see r|
|000005d0| 65 61 64 6d 65 2e 6d 7a | 20 0a 25 25 20 0a 25 25 |eadme.mz| .%% .%%|
|000005e0| 20 0a 0a 5c 64 65 66 5c | 66 69 6c 65 76 65 72 73 | ..\def\|filevers|
|000005f0| 69 6f 6e 7b 76 32 2e 31 | 62 7d 0a 5c 64 65 66 5c |ion{v2.1|b}.\def\|
|00000600| 66 69 6c 65 64 61 74 65 | 7b 38 39 2f 31 30 2f 32 |filedate|{89/10/2|
|00000610| 38 7d 0a 5c 64 65 66 5c | 64 6f 63 64 61 74 65 20 |8}.\def\|docdate |
|00000620| 7b 38 39 2f 30 39 2f 31 | 38 7d 0a 0a 25 25 20 5c |{89/09/1|8}..%% \|
|00000630| 43 68 61 72 61 63 74 65 | 72 54 61 62 6c 65 0a 25 |Characte|rTable.%|
|00000640| 25 20 20 7b 55 70 70 65 | 72 2d 63 61 73 65 20 20 |%  {Uppe|r-case  |
|00000650| 20 20 5c 41 5c 42 5c 43 | 5c 44 5c 45 5c 46 5c 47 |  \A\B\C|\D\E\F\G|
|00000660| 5c 48 5c 49 5c 4a 5c 4b | 5c 4c 5c 4d 5c 4e 5c 4f |\H\I\J\K|\L\M\N\O|
|00000670| 5c 50 5c 51 5c 52 5c 53 | 5c 54 5c 55 5c 56 5c 57 |\P\Q\R\S|\T\U\V\W|
|00000680| 5c 58 5c 59 5c 5a 0a 25 | 25 20 20 20 4c 6f 77 65 |\X\Y\Z.%|%   Lowe|
|00000690| 72 2d 63 61 73 65 20 20 | 20 20 5c 61 5c 62 5c 63 |r-case  |  \a\b\c|
|000006a0| 5c 64 5c 65 5c 66 5c 67 | 5c 68 5c 69 5c 6a 5c 6b |\d\e\f\g|\h\i\j\k|
|000006b0| 5c 6c 5c 6d 5c 6e 5c 6f | 5c 70 5c 71 5c 72 5c 73 |\l\m\n\o|\p\q\r\s|
|000006c0| 5c 74 5c 75 5c 76 5c 77 | 5c 78 5c 79 5c 7a 0a 25 |\t\u\v\w|\x\y\z.%|
|000006d0| 25 20 20 20 44 69 67 69 | 74 73 20 20 20 20 20 20 |%   Digi|ts      |
|000006e0| 20 20 5c 30 5c 31 5c 32 | 5c 33 5c 34 5c 35 5c 36 |  \0\1\2|\3\4\5\6|
|000006f0| 5c 37 5c 38 5c 39 0a 25 | 25 20 20 20 45 78 63 6c |\7\8\9.%|%   Excl|
|00000700| 61 6d 61 74 69 6f 6e 20 | 20 20 5c 21 20 20 20 20 |amation |  \!    |
|00000710| 20 44 6f 75 62 6c 65 20 | 71 75 6f 74 65 20 20 5c | Double |quote  \|
|00000720| 22 20 20 20 20 20 48 61 | 73 68 20 28 6e 75 6d 62 |"     Ha|sh (numb|
|00000730| 65 72 29 20 5c 23 0a 25 | 25 20 20 20 44 6f 6c 6c |er) \#.%|%   Doll|
|00000740| 61 72 20 20 20 20 20 20 | 20 20 5c 24 20 20 20 20 |ar      |  \$    |
|00000750| 20 50 65 72 63 65 6e 74 | 20 20 20 20 20 20 20 5c | Percent|       \|
|00000760| 25 20 20 20 20 20 41 6d | 70 65 72 73 61 6e 64 20 |%     Am|persand |
|00000770| 20 20 20 20 5c 26 0a 25 | 25 20 20 20 41 63 75 74 |    \&.%|%   Acut|
|00000780| 65 20 61 63 63 65 6e 74 | 20 20 5c 27 20 20 20 20 |e accent|  \'    |
|00000790| 20 4c 65 66 74 20 70 61 | 72 65 6e 20 20 20 20 5c | Left pa|ren    \|
|000007a0| 28 20 20 20 20 20 52 69 | 67 68 74 20 70 61 72 65 |(     Ri|ght pare|
|000007b0| 6e 20 20 20 5c 29 0a 25 | 25 20 20 20 41 73 74 65 |n   \).%|%   Aste|
|000007c0| 72 69 73 6b 20 20 20 20 | 20 20 5c 2a 20 20 20 20 |risk    |  \*    |
|000007d0| 20 50 6c 75 73 20 20 20 | 20 20 20 20 20 20 20 5c | Plus   |       \|
|000007e0| 2b 20 20 20 20 20 43 6f | 6d 6d 61 20 20 20 20 20 |+     Co|mma     |
|000007f0| 20 20 20 20 5c 2c 0a 25 | 25 20 20 20 4d 69 6e 75 |    \,.%|%   Minu|
|00000800| 73 20 20 20 20 20 20 20 | 20 20 5c 2d 20 20 20 20 |s       |  \-    |
|00000810| 20 50 6f 69 6e 74 20 20 | 20 20 20 20 20 20 20 5c | Point  |       \|
|00000820| 2e 20 20 20 20 20 53 6f | 6c 69 64 75 73 20 20 20 |.     So|lidus   |
|00000830| 20 20 20 20 5c 2f 0a 25 | 25 20 20 20 43 6f 6c 6f |    \/.%|%   Colo|
|00000840| 6e 20 20 20 20 20 20 20 | 20 20 5c 3a 20 20 20 20 |n       |  \:    |
|00000850| 20 53 65 6d 69 63 6f 6c | 6f 6e 20 20 20 20 20 5c | Semicol|on     \|
|00000860| 3b 20 20 20 20 20 4c 65 | 73 73 20 74 68 61 6e 20 |;     Le|ss than |
|00000870| 20 20 20 20 5c 3c 0a 25 | 25 20 20 20 45 71 75 61 |    \<.%|%   Equa|
|00000880| 6c 73 20 20 20 20 20 20 | 20 20 5c 3d 20 20 20 20 |ls      |  \=    |
|00000890| 20 47 72 65 61 74 65 72 | 20 74 68 61 6e 20 20 5c | Greater| than  \|
|000008a0| 3e 20 20 20 20 20 51 75 | 65 73 74 69 6f 6e 20 6d |>     Qu|estion m|
|000008b0| 61 72 6b 20 5c 3f 0a 25 | 25 20 20 20 43 6f 6d 6d |ark \?.%|%   Comm|
|000008c0| 65 72 63 69 61 6c 20 61 | 74 20 5c 40 20 20 20 20 |ercial a|t \@    |
|000008d0| 20 4c 65 66 74 20 62 72 | 61 63 6b 65 74 20 20 5c | Left br|acket  \|
|000008e0| 5b 20 20 20 20 20 42 61 | 63 6b 73 6c 61 73 68 20 |[     Ba|ckslash |
|000008f0| 20 20 20 20 5c 5c 0a 25 | 25 20 20 20 52 69 67 68 |    \\.%|%   Righ|
|00000900| 74 20 62 72 61 63 6b 65 | 74 20 5c 5d 20 20 20 20 |t bracke|t \]    |
|00000910| 20 43 69 72 63 75 6d 66 | 6c 65 78 20 20 20 20 5c | Circumf|lex    \|
|00000920| 5e 20 20 20 20 20 55 6e | 64 65 72 73 63 6f 72 65 |^     Un|derscore|
|00000930| 20 20 20 20 5c 5f 0a 25 | 25 20 20 20 47 72 61 76 |    \_.%|%   Grav|
|00000940| 65 20 61 63 63 65 6e 74 | 20 20 5c 60 20 20 20 20 |e accent|  \`    |
|00000950| 20 4c 65 66 74 20 62 72 | 61 63 65 20 20 20 20 5c | Left br|ace    \|
|00000960| 7b 20 20 20 20 20 56 65 | 72 74 69 63 61 6c 20 62 |{     Ve|rtical b|
|00000970| 61 72 20 20 5c 7c 0a 25 | 25 20 20 20 52 69 67 68 |ar  \|.%|%   Righ|
|00000980| 74 20 62 72 61 63 65 20 | 20 20 5c 7d 20 20 20 20 |t brace |  \}    |
|00000990| 20 54 69 6c 64 65 20 20 | 20 20 20 20 20 20 20 5c | Tilde  |       \|
|000009a0| 7e 7d 0a 25 25 0a 5c 62 | 65 67 69 6e 67 72 6f 75 |~}.%%.\b|egingrou|
|000009b0| 70 20 5c 6d 61 6b 65 61 | 74 6c 65 74 74 65 72 0a |p \makea|tletter.|
|000009c0| 5c 40 69 66 75 6e 64 65 | 66 69 6e 65 64 7b 74 68 |\@ifunde|fined{th|
|000009d0| 65 6f 72 65 6d 40 73 74 | 79 6c 65 7d 7b 5c 69 6e |eorem@st|yle}{\in|
|000009e0| 70 75 74 7b 74 68 65 6f | 72 65 6d 2e 73 74 79 7d |put{theo|rem.sty}|
|000009f0| 7d 7b 7d 0a 5c 74 79 70 | 65 6f 75 74 7b 53 74 79 |}{}.\typ|eout{Sty|
|00000a00| 6c 65 20 6f 70 74 69 6f | 6e 3a 20 60 74 68 65 6f |le optio|n: `theo|
|00000a10| 72 65 6d 2d 6d 61 72 67 | 69 6e 27 20 5c 66 69 6c |rem-marg|in' \fil|
|00000a20| 65 76 65 72 73 69 6f 6e | 20 5c 73 70 61 63 65 5c |eversion| \space\|
|00000a30| 73 70 61 63 65 0a 20 20 | 20 20 20 20 20 20 20 3c |space.  |       <|
|00000a40| 5c 66 69 6c 65 64 61 74 | 65 3e 20 20 28 46 4d 69 |\filedat|e>  (FMi|
|00000a50| 29 7d 0a 5c 74 79 70 65 | 6f 75 74 7b 45 6e 67 6c |)}.\type|out{Engl|
|00000a60| 69 73 68 20 64 6f 63 75 | 6d 65 6e 74 61 74 69 6f |ish docu|mentatio|
|00000a70| 6e 20 5c 40 73 70 61 63 | 65 73 5c 40 73 70 61 63 |n \@spac|es\@spac|
|00000a80| 65 73 5c 40 73 70 61 63 | 65 73 5c 73 70 61 63 65 |es\@spac|es\space|
|00000a90| 5c 73 70 61 63 65 0a 20 | 20 20 20 20 20 20 20 20 |\space. |        |
|00000aa0| 5c 73 70 61 63 65 5c 73 | 70 61 63 65 20 3c 5c 64 |\space\s|pace <\d|
|00000ab0| 6f 63 64 61 74 65 3e 20 | 20 28 46 4d 69 29 7d 0a |ocdate> | (FMi)}.|
|00000ac0| 5c 67 64 65 66 5c 74 68 | 40 6d 61 72 67 69 6e 7b |\gdef\th|@margin{|
|00000ad0| 5c 73 6c 0a 20 20 5c 64 | 65 66 5c 40 62 65 67 69 |\sl.  \d|ef\@begi|
|00000ae0| 6e 74 68 65 6f 72 65 6d | 23 23 31 23 23 32 7b 5c |ntheorem|##1##2{\|
|00000af0| 69 74 65 6d 0a 20 20 20 | 20 20 20 20 5b 5c 74 68 |item.   |    [\th|
|00000b00| 65 6f 72 65 6d 40 68 65 | 61 64 65 72 66 6f 6e 74 |eorem@he|aderfont|
|00000b10| 20 5c 6c 6c 61 70 7b 23 | 23 32 7d 5c 68 73 6b 69 | \llap{#|#2}\hski|
|00000b20| 70 5c 6c 61 62 65 6c 73 | 65 70 20 23 23 31 5d 7d |p\labels|ep ##1]}|
|00000b30| 25 0a 5c 64 65 66 5c 40 | 6f 70 61 72 67 62 65 67 |%.\def\@|opargbeg|
|00000b40| 69 6e 74 68 65 6f 72 65 | 6d 23 23 31 23 23 32 23 |intheore|m##1##2#|
|00000b50| 23 33 7b 25 0a 20 20 5c | 69 74 65 6d 5b 5c 74 68 |#3{%.  \|item[\th|
|00000b60| 65 6f 72 65 6d 40 68 65 | 61 64 65 72 66 6f 6e 74 |eorem@he|aderfont|
|00000b70| 20 5c 6c 6c 61 70 7b 23 | 23 32 7d 5c 68 73 6b 69 | \llap{#|#2}\hski|
|00000b80| 70 5c 6c 61 62 65 6c 73 | 65 70 20 23 23 31 5c 20 |p\labels|ep ##1\ |
|00000b90| 28 23 23 33 29 5d 7d 7d | 0a 5c 65 6e 64 67 72 6f |(##3)]}}|.\endgro|
|00000ba0| 75 70 0a 5c 65 6e 64 69 | 6e 70 75 74 0a 25 25 20 |up.\endi|nput.%% |
|00000bb0| 0a 25 25 20 45 6e 64 20 | 6f 66 20 66 69 6c 65 20 |.%% End |of file |
|00000bc0| 60 74 68 6d 2e 73 74 79 | 27 2e 0a                |`thm.sty|'..     |
+--------+-------------------------+-------------------------+--------+--------+