/ Meeting Pearls 3 / Meeting_Pearls_III.iso / Pearls / texmf / inputs / latex / unpacked / ltthm.dtx

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 20 5c 69 66 66 61 6c | 73 65 20 6d 65 74 61 2d |% \iffal|se meta-|
|00000010| 63 6f 6d 6d 65 6e 74 0a | 25 0a 25 20 43 6f 70 79 |comment.|%.% Copy|
|00000020| 72 69 67 68 74 20 31 39 | 39 33 2d 31 39 39 35 20 |right 19|93-1995 |
|00000030| 74 68 65 20 4c 61 54 65 | 58 33 20 70 72 6f 6a 65 |the LaTe|X3 proje|
|00000040| 63 74 20 61 6e 64 20 61 | 6e 79 20 69 6e 64 69 76 |ct and a|ny indiv|
|00000050| 69 64 75 61 6c 20 61 75 | 74 68 6f 72 73 0a 25 20 |idual au|thors.% |
|00000060| 6c 69 73 74 65 64 20 65 | 6c 73 65 77 68 65 72 65 |listed e|lsewhere|
|00000070| 20 69 6e 20 74 68 69 73 | 20 66 69 6c 65 2e 20 20 | in this| file.  |
|00000080| 41 6c 6c 20 72 69 67 68 | 74 73 20 72 65 73 65 72 |All righ|ts reser|
|00000090| 76 65 64 2e 0a 25 20 0a | 25 20 46 6f 72 20 66 75 |ved..% .|% For fu|
|000000a0| 72 74 68 65 72 20 63 6f | 70 79 72 69 67 68 74 20 |rther co|pyright |
|000000b0| 69 6e 66 6f 72 6d 61 74 | 69 6f 6e 20 73 65 65 20 |informat|ion see |
|000000c0| 74 68 65 20 66 69 6c 65 | 20 6c 65 67 61 6c 2e 74 |the file| legal.t|
|000000d0| 78 74 2c 20 61 6e 64 20 | 61 6e 79 0a 25 20 6f 74 |xt, and |any.% ot|
|000000e0| 68 65 72 20 63 6f 70 79 | 72 69 67 68 74 20 6e 6f |her copy|right no|
|000000f0| 74 69 63 65 73 20 69 6e | 20 74 68 69 73 20 66 69 |tices in| this fi|
|00000100| 6c 65 2e 0a 25 20 0a 25 | 20 54 68 69 73 20 66 69 |le..% .%| This fi|
|00000110| 6c 65 20 69 73 20 70 61 | 72 74 20 6f 66 20 74 68 |le is pa|rt of th|
|00000120| 65 20 4c 61 54 65 58 32 | 65 20 73 79 73 74 65 6d |e LaTeX2|e system|
|00000130| 2e 0a 25 20 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |..% ----|--------|
|00000140| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000150| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 0a 25 20 20 |--------|----.%  |
|00000160| 20 54 68 69 73 20 73 79 | 73 74 65 6d 20 69 73 20 | This sy|stem is |
|00000170| 64 69 73 74 72 69 62 75 | 74 65 64 20 69 6e 20 74 |distribu|ted in t|
|00000180| 68 65 20 68 6f 70 65 20 | 74 68 61 74 20 69 74 20 |he hope |that it |
|00000190| 77 69 6c 6c 20 62 65 20 | 75 73 65 66 75 6c 2c 0a |will be |useful,.|
|000001a0| 25 20 20 20 62 75 74 20 | 57 49 54 48 4f 55 54 20 |%   but |WITHOUT |
|000001b0| 41 4e 59 20 57 41 52 52 | 41 4e 54 59 3b 20 77 69 |ANY WARR|ANTY; wi|
|000001c0| 74 68 6f 75 74 20 65 76 | 65 6e 20 74 68 65 20 69 |thout ev|en the i|
|000001d0| 6d 70 6c 69 65 64 20 77 | 61 72 72 61 6e 74 79 20 |mplied w|arranty |
|000001e0| 6f 66 0a 25 20 20 20 4d | 45 52 43 48 41 4e 54 41 |of.%   M|ERCHANTA|
|000001f0| 42 49 4c 49 54 59 20 6f | 72 20 46 49 54 4e 45 53 |BILITY o|r FITNES|
|00000200| 53 20 46 4f 52 20 41 20 | 50 41 52 54 49 43 55 4c |S FOR A |PARTICUL|
|00000210| 41 52 20 50 55 52 50 4f | 53 45 2e 0a 25 20 0a 25 |AR PURPO|SE..% .%|
|00000220| 20 20 20 46 6f 72 20 65 | 72 72 6f 72 20 72 65 70 |   For e|rror rep|
|00000230| 6f 72 74 73 20 63 6f 6e | 63 65 72 6e 69 6e 67 20 |orts con|cerning |
|00000240| 55 4e 43 48 41 4e 47 45 | 44 20 76 65 72 73 69 6f |UNCHANGE|D versio|
|00000250| 6e 73 20 6f 66 20 74 68 | 69 73 20 66 69 6c 65 20 |ns of th|is file |
|00000260| 6e 6f 20 6d 6f 72 65 0a | 25 20 20 20 74 68 61 6e |no more.|%   than|
|00000270| 20 6f 6e 65 20 79 65 61 | 72 20 6f 6c 64 2c 20 73 | one yea|r old, s|
|00000280| 65 65 20 62 75 67 73 2e | 74 78 74 2e 0a 25 20 0a |ee bugs.|txt..% .|
|00000290| 25 20 20 20 50 6c 65 61 | 73 65 20 64 6f 20 6e 6f |%   Plea|se do no|
|000002a0| 74 20 72 65 71 75 65 73 | 74 20 75 70 64 61 74 65 |t reques|t update|
|000002b0| 73 20 66 72 6f 6d 20 75 | 73 20 64 69 72 65 63 74 |s from u|s direct|
|000002c0| 6c 79 2e 20 20 50 72 69 | 6d 61 72 79 0a 25 20 20 |ly.  Pri|mary.%  |
|000002d0| 20 64 69 73 74 72 69 62 | 75 74 69 6f 6e 20 69 73 | distrib|ution is|
|000002e0| 20 74 68 72 6f 75 67 68 | 20 74 68 65 20 43 54 41 | through| the CTA|
|000002f0| 4e 20 61 72 63 68 69 76 | 65 73 2e 0a 25 20 0a 25 |N archiv|es..% .%|
|00000300| 20 0a 25 20 49 4d 50 4f | 52 54 41 4e 54 20 43 4f | .% IMPO|RTANT CO|
|00000310| 50 59 52 49 47 48 54 20 | 4e 4f 54 49 43 45 3a 0a |PYRIGHT |NOTICE:.|
|00000320| 25 20 0a 25 20 59 6f 75 | 20 61 72 65 20 4e 4f 54 |% .% You| are NOT|
|00000330| 20 41 4c 4c 4f 57 45 44 | 20 74 6f 20 64 69 73 74 | ALLOWED| to dist|
|00000340| 72 69 62 75 74 65 20 74 | 68 69 73 20 66 69 6c 65 |ribute t|his file|
|00000350| 20 61 6c 6f 6e 65 2e 0a | 25 20 0a 25 20 59 6f 75 | alone..|% .% You|
|00000360| 20 61 72 65 20 61 6c 6c | 6f 77 65 64 20 74 6f 20 | are all|owed to |
|00000370| 64 69 73 74 72 69 62 75 | 74 65 20 74 68 69 73 20 |distribu|te this |
|00000380| 66 69 6c 65 20 75 6e 64 | 65 72 20 74 68 65 20 63 |file und|er the c|
|00000390| 6f 6e 64 69 74 69 6f 6e | 20 74 68 61 74 20 69 74 |ondition| that it|
|000003a0| 20 69 73 0a 25 20 64 69 | 73 74 72 69 62 75 74 65 | is.% di|stribute|
|000003b0| 64 20 74 6f 67 65 74 68 | 65 72 20 77 69 74 68 20 |d togeth|er with |
|000003c0| 61 6c 6c 20 74 68 65 20 | 66 69 6c 65 73 20 6c 69 |all the |files li|
|000003d0| 73 74 65 64 20 69 6e 20 | 6d 61 6e 69 66 65 73 74 |sted in |manifest|
|000003e0| 2e 74 78 74 2e 0a 25 20 | 0a 25 20 49 66 20 79 6f |.txt..% |.% If yo|
|000003f0| 75 20 72 65 63 65 69 76 | 65 20 6f 6e 6c 79 20 73 |u receiv|e only s|
|00000400| 6f 6d 65 20 6f 66 20 74 | 68 65 73 65 20 66 69 6c |ome of t|hese fil|
|00000410| 65 73 20 66 72 6f 6d 20 | 73 6f 6d 65 6f 6e 65 2c |es from |someone,|
|00000420| 20 63 6f 6d 70 6c 61 69 | 6e 21 0a 25 20 0a 25 20 | complai|n!.% .% |
|00000430| 50 65 72 6d 69 73 73 69 | 6f 6e 20 69 73 20 67 72 |Permissi|on is gr|
|00000440| 61 6e 74 65 64 20 74 6f | 20 63 6f 70 79 20 74 68 |anted to| copy th|
|00000450| 69 73 20 66 69 6c 65 20 | 74 6f 20 61 6e 6f 74 68 |is file |to anoth|
|00000460| 65 72 20 66 69 6c 65 20 | 77 69 74 68 20 61 20 63 |er file |with a c|
|00000470| 6c 65 61 72 6c 79 0a 25 | 20 64 69 66 66 65 72 65 |learly.%| differe|
|00000480| 6e 74 20 6e 61 6d 65 20 | 61 6e 64 20 74 6f 20 63 |nt name |and to c|
|00000490| 75 73 74 6f 6d 69 7a 65 | 20 74 68 65 20 64 65 63 |ustomize| the dec|
|000004a0| 6c 61 72 61 74 69 6f 6e | 73 20 69 6e 20 74 68 61 |laration|s in tha|
|000004b0| 74 20 63 6f 70 79 20 74 | 6f 20 73 65 72 76 65 0a |t copy t|o serve.|
|000004c0| 25 20 74 68 65 20 6e 65 | 65 64 73 20 6f 66 20 79 |% the ne|eds of y|
|000004d0| 6f 75 72 20 69 6e 73 74 | 61 6c 6c 61 74 69 6f 6e |our inst|allation|
|000004e0| 2c 20 70 72 6f 76 69 64 | 65 64 20 74 68 61 74 20 |, provid|ed that |
|000004f0| 79 6f 75 20 63 6f 6d 70 | 6c 79 20 77 69 74 68 0a |you comp|ly with.|
|00000500| 25 20 74 68 65 20 63 6f | 6e 64 69 74 69 6f 6e 73 |% the co|nditions|
|00000510| 20 69 6e 20 74 68 65 20 | 66 69 6c 65 20 6c 65 67 | in the |file leg|
|00000520| 61 6c 2e 74 78 74 2e 0a | 25 20 0a 25 20 48 6f 77 |al.txt..|% .% How|
|00000530| 65 76 65 72 2c 20 4e 4f | 20 50 45 52 4d 49 53 53 |ever, NO| PERMISS|
|00000540| 49 4f 4e 20 69 73 20 67 | 72 61 6e 74 65 64 20 74 |ION is g|ranted t|
|00000550| 6f 20 70 72 6f 64 75 63 | 65 20 6f 72 20 74 6f 20 |o produc|e or to |
|00000560| 64 69 73 74 72 69 62 75 | 74 65 20 61 0a 25 20 6d |distribu|te a.% m|
|00000570| 6f 64 69 66 69 65 64 20 | 76 65 72 73 69 6f 6e 20 |odified |version |
|00000580| 6f 66 20 74 68 69 73 20 | 66 69 6c 65 20 75 6e 64 |of this |file und|
|00000590| 65 72 20 69 74 73 20 6f | 72 69 67 69 6e 61 6c 20 |er its o|riginal |
|000005a0| 6e 61 6d 65 2e 0a 25 20 | 20 0a 25 20 59 6f 75 20 |name..% | .% You |
|000005b0| 61 72 65 20 4e 4f 54 20 | 41 4c 4c 4f 57 45 44 20 |are NOT |ALLOWED |
|000005c0| 74 6f 20 63 68 61 6e 67 | 65 20 74 68 69 73 20 66 |to chang|e this f|
|000005d0| 69 6c 65 2e 0a 25 20 0a | 25 20 0a 25 20 5c 66 69 |ile..% .|% .% \fi|
|000005e0| 0a 25 0a 25 20 5c 69 66 | 66 61 6c 73 65 0a 25 25 |.%.% \if|false.%%|
|000005f0| 25 20 46 69 6c 65 3a 20 | 6c 74 74 68 6d 0a 25 3c |% File: |ltthm.%<|
|00000600| 2a 64 72 69 76 65 72 3e | 0a 25 20 5c 66 69 0a 5c |*driver>|.% \fi.\|
|00000610| 50 72 6f 76 69 64 65 73 | 46 69 6c 65 7b 6c 74 74 |Provides|File{ltt|
|00000620| 68 6d 2e 64 74 78 7d 0a | 20 20 20 20 20 20 20 20 |hm.dtx}.|        |
|00000630| 20 20 20 20 20 5b 31 39 | 39 34 2f 30 35 2f 32 35 |     [19|94/05/25|
|00000640| 20 76 31 2e 30 65 20 4c | 61 54 65 58 20 4b 65 72 | v1.0e L|aTeX Ker|
|00000650| 6e 65 6c 20 28 54 68 65 | 6f 72 65 6d 73 29 5d 0a |nel (The|orems)].|
|00000660| 25 20 5c 69 66 66 61 6c | 73 65 0a 5c 64 6f 63 75 |% \iffal|se.\docu|
|00000670| 6d 65 6e 74 63 6c 61 73 | 73 7b 6c 74 78 64 6f 63 |mentclas|s{ltxdoc|
|00000680| 7d 0a 5c 47 65 74 46 69 | 6c 65 49 6e 66 6f 7b 6c |}.\GetFi|leInfo{l|
|00000690| 74 74 68 6d 2e 64 74 78 | 7d 0a 5c 74 69 74 6c 65 |tthm.dtx|}.\title|
|000006a0| 7b 5c 66 69 6c 65 6e 61 | 6d 65 7d 0a 5c 64 61 74 |{\filena|me}.\dat|
|000006b0| 65 7b 5c 66 69 6c 65 64 | 61 74 65 7d 0a 20 5c 61 |e{\filed|ate}. \a|
|000006c0| 75 74 68 6f 72 7b 25 0a | 20 20 4a 6f 68 61 6e 6e |uthor{%.|  Johann|
|000006d0| 65 73 20 42 72 61 61 6d | 73 5c 61 6e 64 0a 20 20 |es Braam|s\and.  |
|000006e0| 44 61 76 69 64 20 43 61 | 72 6c 69 73 6c 65 5c 61 |David Ca|rlisle\a|
|000006f0| 6e 64 0a 20 20 41 6c 61 | 6e 20 4a 65 66 66 72 65 |nd.  Ala|n Jeffre|
|00000700| 79 5c 61 6e 64 0a 20 20 | 4c 65 73 6c 69 65 20 4c |y\and.  |Leslie L|
|00000710| 61 6d 70 6f 72 74 5c 61 | 6e 64 0a 20 20 46 72 61 |amport\a|nd.  Fra|
|00000720| 6e 6b 20 4d 69 74 74 65 | 6c 62 61 63 68 5c 61 6e |nk Mitte|lbach\an|
|00000730| 64 0a 20 20 43 68 72 69 | 73 20 52 6f 77 6c 65 79 |d.  Chri|s Rowley|
|00000740| 5c 61 6e 64 0a 20 20 52 | 61 69 6e 65 72 20 53 63 |\and.  R|ainer Sc|
|00000750| 68 5c 22 6f 70 66 7d 0a | 0a 5c 62 65 67 69 6e 7b |h\"opf}.|.\begin{|
|00000760| 64 6f 63 75 6d 65 6e 74 | 7d 0a 5c 6d 61 6b 65 74 |document|}.\maket|
|00000770| 69 74 6c 65 0a 20 5c 44 | 6f 63 49 6e 70 75 74 7b |itle. \D|ocInput{|
|00000780| 5c 66 69 6c 65 6e 61 6d | 65 7d 0a 5c 65 6e 64 7b |\filenam|e}.\end{|
|00000790| 64 6f 63 75 6d 65 6e 74 | 7d 0a 25 3c 2f 64 72 69 |document|}.%</dri|
|000007a0| 76 65 72 3e 0a 25 20 5c | 66 69 0a 25 0a 25 20 5c |ver>.% \|fi.%.% \|
|000007b0| 43 68 65 63 6b 53 75 6d | 7b 31 31 35 7d 0a 25 0a |CheckSum|{115}.%.|
|000007c0| 25 20 5c 73 65 63 74 69 | 6f 6e 7b 54 68 65 6f 72 |% \secti|on{Theor|
|000007d0| 65 6d 20 45 6e 76 69 72 | 6f 6e 6d 65 6e 74 73 7d |em Envir|onments}|
|000007e0| 0a 25 0a 25 0a 25 20 20 | 54 68 65 20 75 73 65 72 |.%.%.%  |The user|
|000007f0| 20 63 72 65 61 74 65 73 | 20 68 69 73 20 6f 77 6e | creates| his own|
|00000800| 20 74 68 65 6f 72 65 6d | 2d 6c 69 6b 65 20 65 6e | theorem|-like en|
|00000810| 76 69 72 6f 6e 6d 65 6e | 74 73 20 77 69 74 68 20 |vironmen|ts with |
|00000820| 74 68 65 20 63 6f 6d 6d | 61 6e 64 5c 5c 0a 25 20 |the comm|and\\.% |
|00000830| 20 20 20 20 20 7c 5c 6e | 65 77 74 68 65 6f 72 65 |     |\n|ewtheore|
|00000840| 6d 7c 5c 6d 61 72 67 7b | 6e 61 6d 65 7d 5c 6d 61 |m|\marg{|name}\ma|
|00000850| 72 67 7b 74 65 78 74 7d | 5c 6f 61 72 67 7b 63 6f |rg{text}|\oarg{co|
|00000860| 75 6e 74 65 72 7d 20 20 | 6f 72 5c 5c 0a 25 20 20 |unter}  |or\\.%  |
|00000870| 20 20 20 20 7c 5c 6e 65 | 77 74 68 65 6f 72 65 6d |    |\ne|wtheorem|
|00000880| 7c 5c 6d 61 72 67 7b 6e | 61 6d 65 7d 5c 6f 61 72 ||\marg{n|ame}\oar|
|00000890| 67 7b 6f 6c 64 6e 61 6d | 65 7d 5c 6d 61 72 67 7b |g{oldnam|e}\marg{|
|000008a0| 74 65 78 74 7d 5c 5c 0a | 25 20 20 54 68 69 73 20 |text}\\.|%  This |
|000008b0| 64 65 66 69 6e 65 73 20 | 74 68 65 20 65 6e 76 69 |defines |the envi|
|000008c0| 72 6f 6e 6d 65 6e 74 20 | 5c 6d 65 74 61 7b 6e 61 |ronment |\meta{na|
|000008d0| 6d 65 7d 20 74 6f 20 62 | 65 20 6a 75 73 74 20 61 |me} to b|e just a|
|000008e0| 73 20 6f 6e 65 20 77 6f | 75 6c 64 0a 25 20 20 65 |s one wo|uld.%  e|
|000008f0| 78 70 65 63 74 20 61 20 | 74 68 65 6f 72 65 6d 20 |xpect a |theorem |
|00000900| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 74 6f 20 62 |environm|ent to b|
|00000910| 65 2c 20 65 78 63 65 70 | 74 20 74 68 61 74 20 69 |e, excep|t that i|
|00000920| 74 20 70 72 69 6e 74 73 | 20 5c 6d 65 74 61 7b 74 |t prints| \meta{t|
|00000930| 65 78 74 7d 0a 25 20 20 | 69 6e 73 74 65 61 64 20 |ext}.%  |instead |
|00000940| 6f 66 20 60 60 54 68 65 | 6f 72 65 6d 27 27 2e 0a |of ``The|orem''..|
|00000950| 25 0a 25 20 20 49 66 20 | 5c 6d 65 74 61 7b 6f 6c |%.%  If |\meta{ol|
|00000960| 64 6e 61 6d 65 7d 20 69 | 73 20 67 69 76 65 6e 2c |dname} i|s given,|
|00000970| 20 74 68 65 6e 20 65 6e | 76 69 72 6f 6e 6d 65 6e | then en|vironmen|
|00000980| 74 73 20 5c 6d 65 74 61 | 7b 6e 61 6d 65 7d 20 61 |ts \meta|{name} a|
|00000990| 6e 64 0a 25 20 20 5c 6d | 65 74 61 7b 6f 6c 64 6e |nd.%  \m|eta{oldn|
|000009a0| 61 6d 65 7d 20 75 73 65 | 20 74 68 65 20 73 61 6d |ame} use| the sam|
|000009b0| 65 20 63 6f 75 6e 74 65 | 72 2c 20 73 6f 20 75 73 |e counte|r, so us|
|000009c0| 69 6e 67 20 61 20 5c 6d | 65 74 61 7b 6e 61 6d 65 |ing a \m|eta{name|
|000009d0| 7d 0a 25 20 20 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |}.%  env|ironment|
|000009e0| 20 61 64 76 61 6e 63 65 | 73 20 74 68 65 20 6e 75 | advance|s the nu|
|000009f0| 6d 62 65 72 20 6f 66 20 | 74 68 65 20 6e 65 78 74 |mber of |the next|
|00000a00| 20 5c 6d 65 74 61 7b 6e | 61 6d 65 7d 20 65 6e 76 | \meta{n|ame} env|
|00000a10| 69 72 6f 6e 6d 65 6e 74 | 2c 0a 25 20 20 61 6e 64 |ironment|,.%  and|
|00000a20| 20 76 69 63 65 2d 76 65 | 72 73 61 2e 0a 25 0a 25 | vice-ve|rsa..%.%|
|00000a30| 20 20 49 66 20 5c 6d 65 | 74 61 7b 63 6f 75 6e 74 |  If \me|ta{count|
|00000a40| 65 72 7d 20 69 73 20 67 | 69 76 65 6e 2c 20 74 68 |er} is g|iven, th|
|00000a50| 65 6e 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 20 5c |en envir|onment \|
|00000a60| 6d 65 74 61 7b 6e 61 6d | 65 7d 20 69 73 20 6e 75 |meta{nam|e} is nu|
|00000a70| 6d 62 65 72 65 64 0a 25 | 20 20 77 69 74 68 69 6e |mbered.%|  within|
|00000a80| 20 5c 6d 65 74 61 7b 63 | 6f 75 6e 74 65 72 7d 2e | \meta{c|ounter}.|
|00000a90| 0a 25 20 0a 25 20 20 45 | 2e 67 2e 2c 20 69 66 20 |.% .%  E|.g., if |
|00000aa0| 5c 6d 65 74 61 7b 63 6f | 75 6e 74 65 72 7d 20 3d |\meta{co|unter} =|
|00000ab0| 20 7c 73 75 62 73 65 63 | 74 69 6f 6e 7c 2c 20 74 | |subsec|tion|, t|
|00000ac0| 68 65 6e 20 74 68 65 20 | 66 69 72 73 74 20 5c 6d |hen the |first \m|
|00000ad0| 65 74 61 7b 6e 61 6d 65 | 7d 20 69 6e 0a 25 20 20 |eta{name|} in.%  |
|00000ae0| 73 75 62 73 65 63 74 69 | 6f 6e 20 37 2e 32 20 69 |subsecti|on 7.2 i|
|00000af0| 73 20 6e 75 6d 62 65 72 | 65 64 20 5c 6d 65 74 61 |s number|ed \meta|
|00000b00| 7b 74 65 78 74 7d 20 37 | 2e 32 2e 31 2e 0a 25 0a |{text} 7|.2.1..%.|
|00000b10| 25 20 20 54 68 65 20 77 | 61 79 20 5c 6d 65 74 61 |%  The w|ay \meta|
|00000b20| 7b 6e 61 6d 65 7d 20 65 | 6e 76 69 72 6f 6e 6d 65 |{name} e|nvironme|
|00000b30| 6e 74 73 20 61 72 65 20 | 6e 75 6d 62 65 72 65 64 |nts are |numbered|
|00000b40| 20 63 61 6e 20 62 65 20 | 63 68 61 6e 67 65 64 20 | can be |changed |
|00000b50| 62 79 0a 25 20 20 72 65 | 64 65 66 69 6e 69 6e 67 |by.%  re|defining|
|00000b60| 20 7c 5c 74 68 65 7c 5c | 6d 65 74 61 7b 6e 61 6d | |\the|\|meta{nam|
|00000b70| 65 7d 2e 0a 25 0a 25 20 | 5c 53 74 6f 70 45 76 65 |e}..%.% |\StopEve|
|00000b80| 6e 74 75 61 6c 6c 79 7b | 7d 0a 25 0a 25 0a 25 20 |ntually{|}.%.%.% |
|00000b90| 5c 63 68 61 6e 67 65 73 | 7b 76 31 2e 30 61 7d 7b |\changes|{v1.0a}{|
|00000ba0| 31 39 39 34 2f 30 33 2f | 32 38 7d 7b 49 6e 69 74 |1994/03/|28}{Init|
|00000bb0| 69 61 6c 20 76 65 72 73 | 69 6f 6e 2c 20 73 70 6c |ial vers|ion, spl|
|00000bc0| 69 74 20 66 72 6f 6d 20 | 6c 61 74 65 78 2e 64 74 |it from |latex.dt|
|00000bd0| 78 7d 0a 25 20 5c 63 68 | 61 6e 67 65 73 7b 76 31 |x}.% \ch|anges{v1|
|00000be0| 2e 31 63 7d 7b 31 39 39 | 34 2f 30 35 2f 32 35 7d |.1c}{199|4/05/25}|
|00000bf0| 7b 4d 6f 64 69 66 79 20 | 64 6f 63 75 6d 65 6e 74 |{Modify |document|
|00000c00| 61 74 69 6f 6e 7d 0a 25 | 0a 25 20 5c 62 65 67 69 |ation}.%|.% \begi|
|00000c10| 6e 7b 6f 6c 64 63 6f 6d | 6d 65 6e 74 73 7d 0a 25 |n{oldcom|ments}.%|
|00000c20| 0a 25 20 20 44 4f 43 55 | 4d 45 4e 54 20 53 54 59 |.%  DOCU|MENT STY|
|00000c30| 4c 45 20 50 41 52 41 4d | 45 54 45 52 53 0a 25 0a |LE PARAM|ETERS.%.|
|00000c40| 25 20 20 5c 40 74 68 6d | 63 6f 75 6e 74 65 72 7b |%  \@thm|counter{|
|00000c50| 43 4f 55 4e 54 45 52 7d | 20 3a 20 41 20 63 6f 6d |COUNTER}| : A com|
|00000c60| 6d 61 6e 64 20 73 75 63 | 68 20 74 68 61 74 0a 25 |mand suc|h that.%|
|00000c70| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 5c |        |       \|
|00000c80| 65 64 65 66 5c 74 68 65 | 43 4f 55 4e 54 45 52 7b |edef\the|COUNTER{|
|00000c90| 5c 40 74 68 6d 63 6f 75 | 6e 74 65 72 7b 43 4f 55 |\@thmcou|nter{COU|
|00000ca0| 4e 54 45 52 7d 7d 0a 25 | 20 20 20 20 20 64 65 66 |NTER}}.%|     def|
|00000cb0| 69 6e 65 73 20 5c 74 68 | 65 43 4f 55 4e 54 45 52 |ines \th|eCOUNTER|
|00000cc0| 20 74 6f 20 70 72 6f 64 | 75 63 65 20 61 20 6e 75 | to prod|uce a nu|
|00000cd0| 6d 62 65 72 20 66 6f 72 | 20 61 20 74 68 65 6f 72 |mber for| a theor|
|00000ce0| 65 6d 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 2e 0a |em envir|onment..|
|00000cf0| 25 20 20 20 20 20 54 68 | 65 20 64 65 66 61 75 6c |%     Th|e defaul|
|00000d00| 74 20 69 73 3a 0a 25 20 | 20 20 20 20 20 20 20 20 |t is:.% |        |
|00000d10| 20 20 20 42 45 47 49 4e | 20 5c 6e 6f 65 78 70 61 |   BEGIN| \noexpa|
|00000d20| 6e 64 5c 61 72 61 62 69 | 63 7b 43 4f 55 4e 54 45 |nd\arabi|c{COUNTE|
|00000d30| 52 7d 20 45 4e 44 0a 25 | 0a 25 20 20 5c 40 74 68 |R} END.%|.%  \@th|
|00000d40| 6d 63 6f 75 6e 74 65 72 | 73 65 70 20 3a 20 41 20 |mcounter|sep : A |
|00000d50| 73 65 70 61 72 61 74 6f | 72 20 70 6c 61 63 65 64 |separato|r placed|
|00000d60| 20 62 65 74 77 65 65 6e | 20 61 20 74 68 65 6f 72 | between| a theor|
|00000d70| 65 6d 20 6e 75 6d 62 65 | 72 20 61 6e 64 0a 25 20 |em numbe|r and.% |
|00000d80| 20 20 20 20 20 20 20 20 | 74 68 65 20 6e 75 6d 62 |        |the numb|
|00000d90| 65 72 20 6f 66 20 74 68 | 65 20 63 6f 75 6e 74 65 |er of th|e counte|
|00000da0| 72 20 77 69 74 68 69 6e | 20 77 68 69 63 68 20 69 |r within| which i|
|00000db0| 74 20 69 73 20 6e 75 6d | 62 65 72 65 64 2e 0a 25 |t is num|bered..%|
|00000dc0| 20 20 20 20 20 20 20 20 | 20 45 2e 67 2e 2c 20 74 |        | E.g., t|
|00000dd0| 6f 20 6d 61 6b 65 20 74 | 68 65 20 74 68 69 72 64 |o make t|he third|
|00000de0| 20 74 68 65 6f 72 65 6d | 20 6f 66 20 73 65 63 74 | theorem| of sect|
|00000df0| 69 6f 6e 20 37 2e 32 20 | 62 65 20 6e 75 6d 62 65 |ion 7.2 |be numbe|
|00000e00| 72 65 64 0a 25 20 20 20 | 20 20 20 20 20 20 37 2e |red.%   |      7.|
|00000e10| 32 2d 33 2c 20 5c 40 74 | 68 6d 63 6f 75 6e 74 65 |2-3, \@t|hmcounte|
|00000e20| 72 73 65 70 20 73 68 6f | 75 6c 64 20 62 65 20 5c |rsep sho|uld be \|
|00000e30| 64 65 66 27 65 64 20 74 | 6f 20 27 2d 27 2e 20 20 |def'ed t|o '-'.  |
|00000e40| 49 74 73 0a 25 20 20 20 | 20 20 20 20 20 20 64 65 |Its.%   |      de|
|00000e50| 66 61 75 6c 74 20 69 73 | 20 27 2e 27 2e 0a 25 0a |fault is| '.'..%.|
|00000e60| 25 20 20 5c 40 62 65 67 | 69 6e 74 68 65 6f 72 65 |%  \@beg|intheore|
|00000e70| 6d 7b 4e 41 4d 45 7d 7b | 4e 55 4d 42 45 52 7d 20 |m{NAME}{|NUMBER} |
|00000e80| 3a 20 41 20 63 6f 6d 6d | 61 6e 64 20 74 68 61 74 |: A comm|and that|
|00000e90| 20 62 65 67 69 6e 73 20 | 61 20 74 68 65 6f 72 65 | begins |a theore|
|00000ea0| 6d 0a 25 20 20 20 20 20 | 20 20 20 20 65 6e 76 69 |m.%     |    envi|
|00000eb0| 72 6f 6e 6d 65 6e 74 20 | 66 6f 72 20 61 20 27 74 |ronment |for a 't|
|00000ec0| 68 65 6f 72 65 6d 27 20 | 6e 61 6d 65 64 20 27 4e |heorem' |named 'N|
|00000ed0| 41 4d 45 20 4e 55 4d 42 | 45 52 27 20 2d 2d 0a 25 |AME NUMB|ER' --.%|
|00000ee0| 20 20 20 20 20 20 20 20 | 20 65 2e 67 2e 2c 20 5c |        | e.g., \|
|00000ef0| 40 62 65 67 69 6e 74 68 | 65 6f 72 65 6d 7b 4c 65 |@beginth|eorem{Le|
|00000f00| 6d 6d 61 7d 7b 33 2e 37 | 7d 20 73 74 61 72 74 73 |mma}{3.7|} starts|
|00000f10| 20 4c 65 6d 6d 61 20 33 | 2e 37 2e 0a 25 0a 25 20 | Lemma 3|.7..%.% |
|00000f20| 20 5c 40 6f 70 61 72 67 | 62 65 67 69 6e 74 68 65 | \@oparg|beginthe|
|00000f30| 6f 72 65 6d 7b 4e 41 4d | 45 7d 7b 4e 55 4d 42 45 |orem{NAM|E}{NUMBE|
|00000f40| 52 7d 7b 4f 50 41 52 47 | 7d 20 3a 20 0a 25 20 20 |R}{OPARG|} : .%  |
|00000f50| 20 20 20 20 20 20 20 41 | 20 63 6f 6d 6d 61 6e 64 |       A| command|
|00000f60| 20 74 68 61 74 20 62 65 | 67 69 6e 73 20 61 20 74 | that be|gins a t|
|00000f70| 68 65 6f 72 65 6d 0a 25 | 20 20 20 20 20 20 20 20 |heorem.%|        |
|00000f80| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 20 66 6f 72 | environ|ment for|
|00000f90| 20 61 20 27 74 68 65 6f | 72 65 6d 27 20 6e 61 6d | a 'theo|rem' nam|
|00000fa0| 65 64 20 27 4e 41 4d 45 | 20 4e 55 4d 42 45 52 27 |ed 'NAME| NUMBER'|
|00000fb0| 20 77 69 74 68 20 6f 70 | 74 69 6f 6e 61 6c 0a 25 | with op|tional.%|
|00000fc0| 20 20 20 20 20 20 20 20 | 20 61 72 67 75 6d 65 6e |        | argumen|
|00000fd0| 74 20 4f 50 41 52 47 20 | 2d 2d 20 65 2e 67 2e 2c |t OPARG |-- e.g.,|
|00000fe0| 20 5c 40 62 65 67 69 6e | 74 68 65 6f 72 65 6d 7b | \@begin|theorem{|
|00000ff0| 4c 65 6d 6d 61 7d 7b 33 | 2e 37 7d 7b 4a 6f 6e 65 |Lemma}{3|.7}{Jone|
|00001000| 73 7d 0a 25 20 20 20 20 | 20 20 20 20 20 73 74 61 |s}.%    |     sta|
|00001010| 72 74 73 20 60 4c 65 6d | 6d 61 20 33 2e 37 20 28 |rts `Lem|ma 3.7 (|
|00001020| 4a 6f 6e 65 73 29 3a 27 | 2e 0a 25 0a 25 20 20 5c |Jones):'|..%.%  \|
|00001030| 40 65 6e 64 74 68 65 6f | 72 65 6d 20 3a 20 41 20 |@endtheo|rem : A |
|00001040| 63 6f 6d 6d 61 6e 64 20 | 74 68 61 74 20 65 6e 64 |command |that end|
|00001050| 73 20 61 20 74 68 65 6f | 72 65 6d 20 65 6e 76 69 |s a theo|rem envi|
|00001060| 72 6f 6e 6d 65 6e 74 2e | 0a 25 0a 25 20 5c 6e 65 |ronment.|.%.% \ne|
|00001070| 77 74 68 65 6f 72 65 6d | 7b 4e 41 4d 45 7d 7b 54 |wtheorem|{NAME}{T|
|00001080| 45 58 54 7d 5b 43 4f 55 | 4e 54 45 52 5d 20 3d 3d |EXT}[COU|NTER] ==|
|00001090| 0a 25 20 20 20 42 45 47 | 49 4e 0a 25 20 20 20 20 |.%   BEG|IN.%    |
|000010a0| 20 69 66 20 5c 4e 41 4d | 45 20 69 73 20 64 65 66 | if \NAM|E is def|
|000010b0| 69 6e 61 62 6c 65 0a 25 | 20 20 20 20 20 20 20 74 |inable.%|       t|
|000010c0| 68 65 6e 20 5c 40 64 65 | 66 69 6e 65 63 6f 75 6e |hen \@de|finecoun|
|000010d0| 74 65 72 7b 4e 41 4d 45 | 7d 0a 25 20 20 20 20 20 |ter{NAME|}.%     |
|000010e0| 20 20 20 20 20 20 20 69 | 66 20 43 4f 55 4e 54 45 |       i|f COUNTE|
|000010f0| 52 20 70 72 65 73 65 6e | 74 0a 25 20 20 20 20 20 |R presen|t.%     |
|00001100| 20 20 20 20 20 20 20 20 | 20 74 68 65 6e 20 5c 40 |        | then \@|
|00001110| 6e 65 77 63 74 72 7b 4e | 41 4d 45 7d 5b 43 4f 55 |newctr{N|AME}[COU|
|00001120| 4e 54 45 52 5d 20 66 69 | 0a 25 20 20 20 20 20 20 |NTER] fi|.%      |
|00001130| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 5c 74 68 |        |     \th|
|00001140| 65 4e 41 4d 45 20 3d 3d | 20 20 42 45 47 49 4e 20 |eNAME ==|  BEGIN |
|00001150| 5c 74 68 65 43 4f 55 4e | 54 45 52 20 5c 40 74 68 |\theCOUN|TER \@th|
|00001160| 6d 63 6f 75 6e 74 65 72 | 73 65 70 0a 25 20 20 20 |mcounter|sep.%   |
|00001170| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001180| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001190| 20 20 20 20 65 76 61 6c | 5c 40 74 68 6d 63 6f 75 |    eval|\@thmcou|
|000011a0| 6e 74 65 72 7b 4e 41 4d | 45 7d 20 20 20 20 20 20 |nter{NAM|E}      |
|000011b0| 45 4e 44 0a 25 20 20 20 | 20 20 20 20 20 20 20 20 |END.%   |        |
|000011c0| 20 20 20 65 6c 73 65 20 | 5c 74 68 65 4e 41 4d 45 |   else |\theNAME|
|000011d0| 20 3d 3d 20 20 42 45 47 | 49 4e 20 65 76 61 6c 5c | ==  BEG|IN eval\|
|000011e0| 40 74 68 6d 63 6f 75 6e | 74 65 72 7b 4e 41 4d 45 |@thmcoun|ter{NAME|
|000011f0| 7d 20 45 4e 44 0a 25 20 | 20 20 20 20 20 20 20 20 |} END.% |        |
|00001200| 20 20 20 5c 4e 41 4d 45 | 20 3d 3d 20 5c 40 74 68 |   \NAME| == \@th|
|00001210| 6d 7b 4e 41 4d 45 7d 7b | 54 45 58 54 7d 0a 25 20 |m{NAME}{|TEXT}.% |
|00001220| 20 20 20 20 20 20 20 20 | 20 20 20 5c 65 6e 64 4e |        |   \endN|
|00001230| 41 4d 45 20 3d 3d 20 5c | 40 65 6e 64 74 68 65 6f |AME == \|@endtheo|
|00001240| 72 65 6d 0a 25 20 20 20 | 20 20 20 20 65 6c 73 65 |rem.%   |    else|
|00001250| 20 20 65 72 72 6f 72 0a | 25 20 20 20 20 20 66 69 |  error.|%     fi|
|00001260| 0a 25 20 20 20 45 4e 44 | 0a 25 0a 25 20 5c 6e 65 |.%   END|.%.% \ne|
|00001270| 77 74 68 65 6f 72 65 6d | 7b 4e 41 4d 45 7d 5b 4f |wtheorem|{NAME}[O|
|00001280| 4c 44 4e 41 4d 45 5d 7b | 54 45 58 54 7d 3d 3d 0a |LDNAME]{|TEXT}==.|
|00001290| 25 20 20 20 42 45 47 49 | 4e 0a 25 20 20 20 20 20 |%   BEGI|N.%     |
|000012a0| 69 66 20 63 6f 75 6e 74 | 65 72 20 4f 4c 44 4e 41 |if count|er OLDNA|
|000012b0| 4d 45 20 6e 6f 6e 65 78 | 69 73 74 61 6e 74 0a 25 |ME nonex|istant.%|
|000012c0| 20 20 20 20 20 20 20 74 | 68 65 6e 20 45 52 52 4f |       t|hen ERRO|
|000012d0| 52 0a 25 20 20 20 20 20 | 20 20 65 6c 73 65 0a 25 |R.%     |  else.%|
|000012e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 69 66 20 5c |        |    if \|
|000012f0| 4e 41 4d 45 20 69 73 20 | 64 65 66 69 6e 61 62 6c |NAME is |definabl|
|00001300| 65 0a 25 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |e.%     |        |
|00001310| 20 74 68 65 6e 20 42 45 | 47 49 4e 0a 25 20 20 20 | then BE|GIN.%   |
|00001320| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001330| 5c 74 68 65 4e 41 4d 45 | 20 3d 3d 20 5c 74 68 65 |\theNAME| == \the|
|00001340| 4f 4c 44 4e 41 4d 45 0a | 25 20 20 20 20 20 20 20 |OLDNAME.|%       |
|00001350| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 4e 41 4d |        |    \NAM|
|00001360| 45 20 3d 3d 20 5c 40 74 | 68 6d 7b 4f 4c 44 4e 41 |E == \@t|hm{OLDNA|
|00001370| 4d 45 7d 7b 54 45 58 54 | 7d 0a 25 20 20 20 20 20 |ME}{TEXT|}.%     |
|00001380| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 5c 65 |        |      \e|
|00001390| 6e 64 4e 41 4d 45 20 3d | 3d 20 5c 40 65 6e 64 74 |ndNAME =|= \@endt|
|000013a0| 68 65 6f 72 65 6d 0a 25 | 20 20 20 20 20 20 20 20 |heorem.%|        |
|000013b0| 20 20 20 20 20 20 20 20 | 20 20 20 45 4e 44 0a 25 |        |   END.%|
|000013c0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 65 6c |        |      el|
|000013d0| 73 65 20 20 65 72 72 6f | 72 0a 25 20 20 20 20 20 |se  erro|r.%     |
|000013e0| 20 20 20 20 20 20 20 66 | 69 0a 25 20 20 20 20 20 |       f|i.%     |
|000013f0| 66 69 0a 25 20 20 20 45 | 4e 44 0a 25 0a 25 20 5c |fi.%   E|ND.%.% \|
|00001400| 40 74 68 6d 7b 4e 41 4d | 45 7d 7b 54 45 58 54 7d |@thm{NAM|E}{TEXT}|
|00001410| 20 3d 3d 0a 25 20 20 20 | 42 45 47 49 4e 0a 25 20 | ==.%   |BEGIN.% |
|00001420| 20 20 20 5c 72 65 66 73 | 74 65 70 63 6f 75 6e 74 |   \refs|tepcount|
|00001430| 65 72 7b 4e 41 4d 45 7d | 0a 25 20 20 20 20 69 66 |er{NAME}|.%    if|
|00001440| 20 6e 65 78 74 20 63 68 | 61 72 20 3d 20 5b 0a 25 | next ch|ar = [.%|
|00001450| 20 20 20 20 20 20 20 74 | 68 65 6e 20 5c 40 79 74 |       t|hen \@yt|
|00001460| 68 6d 7b 4e 41 4d 45 7d | 7b 54 45 58 54 7d 0a 25 |hm{NAME}|{TEXT}.%|
|00001470| 20 20 20 20 20 20 20 65 | 6c 73 65 20 5c 40 78 74 |       e|lse \@xt|
|00001480| 68 6d 7b 4e 41 4d 45 7d | 7b 54 45 58 54 7d 0a 25 |hm{NAME}|{TEXT}.%|
|00001490| 20 20 20 20 66 69 0a 25 | 20 20 20 45 4e 44 0a 25 |    fi.%|   END.%|
|000014a0| 0a 25 20 5c 40 78 74 68 | 6d 7b 4e 41 4d 45 7d 7b |.% \@xth|m{NAME}{|
|000014b0| 54 45 58 54 7d 20 3d 3d | 0a 25 20 20 20 42 45 47 |TEXT} ==|.%   BEG|
|000014c0| 49 4e 0a 25 20 20 20 20 | 5c 40 62 65 67 69 6e 74 |IN.%    |\@begint|
|000014d0| 68 65 6f 72 65 6d 7b 54 | 45 58 54 7d 7b 5c 74 68 |heorem{T|EXT}{\th|
|000014e0| 65 4e 41 4d 45 7d 0a 25 | 20 20 20 20 5c 69 67 6e |eNAME}.%|    \ign|
|000014f0| 6f 72 65 73 70 61 63 65 | 73 0a 25 20 20 20 45 4e |orespace|s.%   EN|
|00001500| 44 0a 25 0a 25 20 5c 40 | 79 74 68 6d 7b 4e 41 4d |D.%.% \@|ythm{NAM|
|00001510| 45 7d 7b 54 45 58 54 7d | 5b 4f 50 41 52 47 5d 20 |E}{TEXT}|[OPARG] |
|00001520| 3d 3d 0a 25 20 20 20 42 | 45 47 49 4e 0a 25 20 20 |==.%   B|EGIN.%  |
|00001530| 20 20 5c 40 6f 70 61 72 | 67 62 65 67 69 6e 74 68 |  \@opar|gbeginth|
|00001540| 65 6f 72 65 6d 7b 54 45 | 58 54 7d 7b 5c 74 68 65 |eorem{TE|XT}{\the|
|00001550| 4e 41 4d 45 7d 7b 4f 50 | 41 52 47 7d 0a 25 20 20 |NAME}{OP|ARG}.%  |
|00001560| 20 20 5c 69 67 6e 6f 72 | 65 73 70 61 63 65 73 0a |  \ignor|espaces.|
|00001570| 25 20 20 20 45 4e 44 0a | 25 0a 25 20 20 20 20 5c |%   END.|%.%    \|
|00001580| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 63 6f 64 65 7d |begin{ma|crocode}|
|00001590| 0a 25 3c 2a 32 65 6b 65 | 72 6e 65 6c 3e 0a 5c 64 |.%<*2eke|rnel>.\d|
|000015a0| 65 66 5c 6e 65 77 74 68 | 65 6f 72 65 6d 23 31 7b |ef\newth|eorem#1{|
|000015b0| 5c 40 69 66 6e 65 78 74 | 63 68 61 72 5b 7b 5c 40 |\@ifnext|char[{\@|
|000015c0| 6f 74 68 6d 7b 23 31 7d | 7d 7b 5c 40 6e 74 68 6d |othm{#1}|}{\@nthm|
|000015d0| 7b 23 31 7d 7d 7d 0a 25 | 20 20 20 20 5c 65 6e 64 |{#1}}}.%|    \end|
|000015e0| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 25 0a 25 20 |{macroco|de}.%.% |
|000015f0| 20 20 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 63 |   \begi|n{macroc|
|00001600| 6f 64 65 7d 0a 5c 64 65 | 66 5c 40 6e 74 68 6d 23 |ode}.\de|f\@nthm#|
|00001610| 31 23 32 7b 25 0a 5c 40 | 69 66 6e 65 78 74 63 68 |1#2{%.\@|ifnextch|
|00001620| 61 72 5b 7b 5c 40 78 6e | 74 68 6d 7b 23 31 7d 7b |ar[{\@xn|thm{#1}{|
|00001630| 23 32 7d 7d 7b 5c 40 79 | 6e 74 68 6d 7b 23 31 7d |#2}}{\@y|nthm{#1}|
|00001640| 7b 23 32 7d 7d 7d 0a 25 | 20 20 20 20 5c 65 6e 64 |{#2}}}.%|    \end|
|00001650| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 25 0a 25 20 |{macroco|de}.%.% |
|00001660| 39 32 2f 30 39 2f 31 38 | 20 52 6d 53 3a 20 43 68 |92/09/18| RmS: Ch|
|00001670| 61 6e 67 65 64 20 5c 40 | 61 64 64 74 6f 72 65 73 |anged \@|addtores|
|00001680| 65 74 20 74 6f 20 5c 40 | 6e 65 77 63 74 72 20 74 |et to \@|newctr t|
|00001690| 6f 20 70 72 6f 64 75 63 | 65 20 65 72 72 6f 72 0a |o produc|e error.|
|000016a0| 25 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |%       |        |
|000016b0| 6d 65 73 73 61 67 65 20 | 69 66 20 63 6f 75 6e 74 |message |if count|
|000016c0| 65 72 20 23 33 20 64 6f | 65 73 20 6e 6f 74 20 65 |er #3 do|es not e|
|000016d0| 78 69 73 74 20 28 74 6f | 20 62 65 0a 25 20 20 20 |xist (to| be.%   |
|000016e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 63 6f 6e 73 |        |    cons|
|000016f0| 69 73 74 65 6e 74 20 77 | 69 74 68 20 62 65 68 61 |istent w|ith beha|
|00001700| 76 69 6f 75 72 20 6f 66 | 20 5c 6e 65 77 63 6f 75 |viour of| \newcou|
|00001710| 6e 74 65 72 29 0a 25 20 | 20 20 20 5c 62 65 67 69 |nter).% |   \begi|
|00001720| 6e 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 5c 64 65 |n{macroc|ode}.\de|
|00001730| 66 5c 40 78 6e 74 68 6d | 23 31 23 32 5b 23 33 5d |f\@xnthm|#1#2[#3]|
|00001740| 7b 5c 65 78 70 61 6e 64 | 61 66 74 65 72 5c 40 69 |{\expand|after\@i|
|00001750| 66 64 65 66 69 6e 61 62 | 6c 65 5c 63 73 6e 61 6d |fdefinab|le\csnam|
|00001760| 65 20 23 31 5c 65 6e 64 | 63 73 6e 61 6d 65 0a 7b |e #1\end|csname.{|
|00001770| 5c 40 64 65 66 69 6e 65 | 63 6f 75 6e 74 65 72 7b |\@define|counter{|
|00001780| 23 31 7d 5c 40 6e 65 77 | 63 74 72 7b 23 31 7d 5b |#1}\@new|ctr{#1}[|
|00001790| 23 33 5d 25 0a 5c 65 78 | 70 61 6e 64 61 66 74 65 |#3]%.\ex|pandafte|
|000017a0| 72 5c 78 64 65 66 5c 63 | 73 6e 61 6d 65 20 74 68 |r\xdef\c|sname th|
|000017b0| 65 23 31 5c 65 6e 64 63 | 73 6e 61 6d 65 7b 5c 65 |e#1\endc|sname{\e|
|000017c0| 78 70 61 6e 64 61 66 74 | 65 72 5c 6e 6f 65 78 70 |xpandaft|er\noexp|
|000017d0| 61 6e 64 0a 20 20 5c 63 | 73 6e 61 6d 65 20 74 68 |and.  \c|sname th|
|000017e0| 65 23 33 5c 65 6e 64 63 | 73 6e 61 6d 65 20 5c 40 |e#3\endc|sname \@|
|000017f0| 74 68 6d 63 6f 75 6e 74 | 65 72 73 65 70 20 5c 40 |thmcount|ersep \@|
|00001800| 74 68 6d 63 6f 75 6e 74 | 65 72 7b 23 31 7d 7d 25 |thmcount|er{#1}}%|
|00001810| 0a 5c 67 6c 6f 62 61 6c | 5c 40 6e 61 6d 65 64 65 |.\global|\@namede|
|00001820| 66 7b 23 31 7d 7b 25 0a | 20 20 5c 40 74 68 6d 7b |f{#1}{%.|  \@thm{|
|00001830| 23 31 7d 7b 23 32 7d 7d | 5c 67 6c 6f 62 61 6c 5c |#1}{#2}}|\global\|
|00001840| 40 6e 61 6d 65 64 65 66 | 7b 65 6e 64 23 31 7d 7b |@namedef|{end#1}{|
|00001850| 5c 40 65 6e 64 74 68 65 | 6f 72 65 6d 7d 7d 7d 0a |\@endthe|orem}}}.|
|00001860| 25 20 20 20 20 5c 65 6e | 64 7b 6d 61 63 72 6f 63 |%    \en|d{macroc|
|00001870| 6f 64 65 7d 0a 25 0a 25 | 20 20 20 20 5c 62 65 67 |ode}.%.%|    \beg|
|00001880| 69 6e 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 5c 64 |in{macro|code}.\d|
|00001890| 65 66 5c 40 79 6e 74 68 | 6d 23 31 23 32 7b 5c 65 |ef\@ynth|m#1#2{\e|
|000018a0| 78 70 61 6e 64 61 66 74 | 65 72 5c 40 69 66 64 65 |xpandaft|er\@ifde|
|000018b0| 66 69 6e 61 62 6c 65 5c | 63 73 6e 61 6d 65 20 23 |finable\|csname #|
|000018c0| 31 5c 65 6e 64 63 73 6e | 61 6d 65 0a 7b 5c 40 64 |1\endcsn|ame.{\@d|
|000018d0| 65 66 69 6e 65 63 6f 75 | 6e 74 65 72 7b 23 31 7d |efinecou|nter{#1}|
|000018e0| 25 0a 5c 65 78 70 61 6e | 64 61 66 74 65 72 5c 78 |%.\expan|dafter\x|
|000018f0| 64 65 66 5c 63 73 6e 61 | 6d 65 20 74 68 65 23 31 |def\csna|me the#1|
|00001900| 5c 65 6e 64 63 73 6e 61 | 6d 65 7b 5c 40 74 68 6d |\endcsna|me{\@thm|
|00001910| 63 6f 75 6e 74 65 72 7b | 23 31 7d 7d 25 0a 5c 67 |counter{|#1}}%.\g|
|00001920| 6c 6f 62 61 6c 5c 40 6e | 61 6d 65 64 65 66 7b 23 |lobal\@n|amedef{#|
|00001930| 31 7d 7b 25 0a 20 20 5c | 40 74 68 6d 7b 23 31 7d |1}{%.  \|@thm{#1}|
|00001940| 7b 23 32 7d 7d 5c 67 6c | 6f 62 61 6c 5c 40 6e 61 |{#2}}\gl|obal\@na|
|00001950| 6d 65 64 65 66 7b 65 6e | 64 23 31 7d 7b 5c 40 65 |medef{en|d#1}{\@e|
|00001960| 6e 64 74 68 65 6f 72 65 | 6d 7d 7d 7d 0a 25 20 20 |ndtheore|m}}}.%  |
|00001970| 20 20 5c 65 6e 64 7b 6d | 61 63 72 6f 63 6f 64 65 |  \end{m|acrocode|
|00001980| 7d 0a 25 0a 25 20 5c 65 | 6e 64 7b 6f 6c 64 63 6f |}.%.% \e|nd{oldco|
|00001990| 6d 6d 65 6e 74 73 7d 0a | 25 20 5c 62 65 67 69 6e |mments}.|% \begin|
|000019a0| 7b 6d 61 63 72 6f 7d 7b | 5c 40 6f 74 68 6d 7d 0a |{macro}{|\@othm}.|
|000019b0| 25 20 5c 63 68 61 6e 67 | 65 73 7b 4c 61 54 65 58 |% \chang|es{LaTeX|
|000019c0| 32 2e 30 39 7d 7b 31 39 | 39 32 2f 30 31 2f 31 30 |2.09}{19|92/01/10|
|000019d0| 7d 0a 25 20 20 20 20 20 | 20 20 20 20 7b 28 52 6d |}.%     |    {(Rm|
|000019e0| 53 29 20 43 68 65 63 6b | 20 66 6f 72 20 65 78 69 |S) Check| for exi|
|000019f0| 73 74 65 6e 63 65 20 6f | 66 20 74 68 65 6f 72 65 |stence o|f theore|
|00001a00| 6d 20 65 6e 76 69 72 6f | 6e 6d 65 6e 74 7d 0a 25 |m enviro|nment}.%|
|00001a10| 20 5c 63 68 61 6e 67 65 | 73 7b 4c 61 54 65 58 32 | \change|s{LaTeX2|
|00001a20| 2e 30 39 7d 7b 31 39 39 | 32 2f 30 38 2f 31 39 7d |.09}{199|2/08/19}|
|00001a30| 0a 25 20 20 20 20 20 20 | 20 20 20 7b 28 52 6d 53 |.%      |   {(RmS|
|00001a40| 29 20 43 68 61 6e 67 65 | 64 20 65 72 72 6f 72 20 |) Change|d error |
|00001a50| 6d 65 73 73 61 67 65 20 | 74 6f 20 63 6f 6d 70 6c |message |to compl|
|00001a60| 61 69 6e 20 61 62 6f 75 | 74 20 75 6e 64 65 66 69 |ain abou|t undefi|
|00001a70| 6e 65 64 0a 25 20 20 20 | 20 20 20 20 20 20 63 6f |ned.%   |      co|
|00001a80| 75 6e 74 65 72 7d 0a 25 | 20 5c 63 68 61 6e 67 65 |unter}.%| \change|
|00001a90| 73 7b 76 31 2e 30 62 7d | 7b 31 39 39 34 2f 30 34 |s{v1.0b}|{1994/04|
|00001aa0| 2f 30 39 7d 7b 55 73 65 | 20 73 74 61 6e 64 61 72 |/09}{Use| standar|
|00001ab0| 64 20 63 6f 75 6e 74 65 | 72 20 65 72 72 6f 72 20 |d counte|r error |
|00001ac0| 6d 65 73 73 61 67 65 20 | 28 46 4d 69 29 7d 0a 25 |message |(FMi)}.%|
|00001ad0| 20 5c 63 68 61 6e 67 65 | 73 7b 76 31 2e 30 63 7d | \change|s{v1.0c}|
|00001ae0| 7b 31 39 39 34 2f 30 34 | 2f 31 37 7d 7b 55 73 65 |{1994/04|/17}{Use|
|00001af0| 20 6e 65 77 20 73 74 64 | 20 63 6f 75 6e 74 65 72 | new std| counter|
|00001b00| 20 65 72 72 6f 72 20 6d | 65 73 73 61 67 65 20 28 | error m|essage (|
|00001b10| 46 4d 69 29 7d 0a 25 20 | 20 20 20 5c 62 65 67 69 |FMi)}.% |   \begi|
|00001b20| 6e 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 5c 64 65 |n{macroc|ode}.\de|
|00001b30| 66 5c 40 6f 74 68 6d 23 | 31 5b 23 32 5d 23 33 7b |f\@othm#|1[#2]#3{|
|00001b40| 25 0a 20 20 5c 40 69 66 | 75 6e 64 65 66 69 6e 65 |%.  \@if|undefine|
|00001b50| 64 7b 63 40 23 32 7d 7b | 5c 40 6e 6f 63 6f 75 6e |d{c@#2}{|\@nocoun|
|00001b60| 74 65 72 72 7b 23 32 7d | 7d 25 0a 20 20 7b 5c 65 |terr{#2}|}%.  {\e|
|00001b70| 78 70 61 6e 64 61 66 74 | 65 72 5c 40 69 66 64 65 |xpandaft|er\@ifde|
|00001b80| 66 69 6e 61 62 6c 65 5c | 63 73 6e 61 6d 65 20 23 |finable\|csname #|
|00001b90| 31 5c 65 6e 64 63 73 6e | 61 6d 65 0a 20 20 7b 5c |1\endcsn|ame.  {\|
|00001ba0| 67 6c 6f 62 61 6c 5c 40 | 6e 61 6d 65 64 65 66 7b |global\@|namedef{|
|00001bb0| 74 68 65 23 31 7d 7b 5c | 40 6e 61 6d 65 75 73 65 |the#1}{\|@nameuse|
|00001bc0| 7b 74 68 65 23 32 7d 7d | 25 0a 5c 67 6c 6f 62 61 |{the#2}}|%.\globa|
|00001bd0| 6c 5c 40 6e 61 6d 65 64 | 65 66 7b 23 31 7d 7b 5c |l\@named|ef{#1}{\|
|00001be0| 40 74 68 6d 7b 23 32 7d | 7b 23 33 7d 7d 25 0a 5c |@thm{#2}|{#3}}%.\|
|00001bf0| 67 6c 6f 62 61 6c 5c 40 | 6e 61 6d 65 64 65 66 7b |global\@|namedef{|
|00001c00| 65 6e 64 23 31 7d 7b 5c | 40 65 6e 64 74 68 65 6f |end#1}{\|@endtheo|
|00001c10| 72 65 6d 7d 7d 7d 7d 0a | 25 20 20 20 20 5c 65 6e |rem}}}}.|%    \en|
|00001c20| 64 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 25 20 5c |d{macroc|ode}.% \|
|00001c30| 65 6e 64 7b 6d 61 63 72 | 6f 7d 0a 25 0a 25 20 5c |end{macr|o}.%.% \|
|00001c40| 62 65 67 69 6e 7b 6f 6c | 64 63 6f 6d 6d 65 6e 74 |begin{ol|dcomment|
|00001c50| 73 7d 0a 25 20 20 20 20 | 5c 62 65 67 69 6e 7b 6d |s}.%    |\begin{m|
|00001c60| 61 63 72 6f 63 6f 64 65 | 7d 0a 5c 64 65 66 5c 40 |acrocode|}.\def\@|
|00001c70| 74 68 6d 23 31 23 32 7b | 5c 72 65 66 73 74 65 70 |thm#1#2{|\refstep|
|00001c80| 63 6f 75 6e 74 65 72 0a | 20 20 20 20 7b 23 31 7d |counter.|    {#1}|
|00001c90| 5c 40 69 66 6e 65 78 74 | 63 68 61 72 5b 7b 5c 40 |\@ifnext|char[{\@|
|00001ca0| 79 74 68 6d 7b 23 31 7d | 7b 23 32 7d 7d 7b 5c 40 |ythm{#1}|{#2}}{\@|
|00001cb0| 78 74 68 6d 7b 23 31 7d | 7b 23 32 7d 7d 7d 0a 25 |xthm{#1}|{#2}}}.%|
|00001cc0| 20 20 20 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 63 6f |    \end|{macroco|
|00001cd0| 64 65 7d 0a 25 0a 25 20 | 20 20 20 5c 62 65 67 69 |de}.%.% |   \begi|
|00001ce0| 6e 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 5c 64 65 |n{macroc|ode}.\de|
|00001cf0| 66 5c 40 78 74 68 6d 23 | 31 23 32 7b 5c 40 62 65 |f\@xthm#|1#2{\@be|
|00001d00| 67 69 6e 74 68 65 6f 72 | 65 6d 7b 23 32 7d 7b 5c |gintheor|em{#2}{\|
|00001d10| 63 73 6e 61 6d 65 20 74 | 68 65 23 31 5c 65 6e 64 |csname t|he#1\end|
|00001d20| 63 73 6e 61 6d 65 7d 5c | 69 67 6e 6f 72 65 73 70 |csname}\|ignoresp|
|00001d30| 61 63 65 73 7d 0a 5c 64 | 65 66 5c 40 79 74 68 6d |aces}.\d|ef\@ythm|
|00001d40| 23 31 23 32 5b 23 33 5d | 7b 5c 40 6f 70 61 72 67 |#1#2[#3]|{\@oparg|
|00001d50| 62 65 67 69 6e 74 68 65 | 6f 72 65 6d 7b 23 32 7d |beginthe|orem{#2}|
|00001d60| 7b 5c 63 73 6e 61 6d 65 | 0a 20 20 20 20 20 20 20 |{\csname|.       |
|00001d70| 74 68 65 23 31 5c 65 6e | 64 63 73 6e 61 6d 65 7d |the#1\en|dcsname}|
|00001d80| 7b 23 33 7d 5c 69 67 6e | 6f 72 65 73 70 61 63 65 |{#3}\ign|orespace|
|00001d90| 73 7d 0a 25 20 20 20 20 | 5c 65 6e 64 7b 6d 61 63 |s}.%    |\end{mac|
|00001da0| 72 6f 63 6f 64 65 7d 0a | 25 0a 25 44 45 46 41 55 |rocode}.|%.%DEFAU|
|00001db0| 4c 54 20 56 41 4c 55 45 | 53 0a 25 20 20 20 20 5c |LT VALUE|S.%    \|
|00001dc0| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 63 6f 64 65 7d |begin{ma|crocode}|
|00001dd0| 0a 5c 64 65 66 5c 40 74 | 68 6d 63 6f 75 6e 74 65 |.\def\@t|hmcounte|
|00001de0| 72 23 31 7b 5c 6e 6f 65 | 78 70 61 6e 64 5c 61 72 |r#1{\noe|xpand\ar|
|00001df0| 61 62 69 63 7b 23 31 7d | 7d 0a 5c 64 65 66 5c 40 |abic{#1}|}.\def\@|
|00001e00| 74 68 6d 63 6f 75 6e 74 | 65 72 73 65 70 7b 2e 7d |thmcount|ersep{.}|
|00001e10| 0a 25 20 20 20 20 5c 65 | 6e 64 7b 6d 61 63 72 6f |.%    \e|nd{macro|
|00001e20| 63 6f 64 65 7d 0a 25 20 | 5c 65 6e 64 7b 6f 6c 64 |code}.% |\end{old|
|00001e30| 63 6f 6d 6d 65 6e 74 73 | 7d 0a 25 0a 25 20 20 5c |comments|}.%.%  \|
|00001e40| 62 65 67 69 6e 7b 6d 61 | 63 72 6f 7d 7b 5c 40 62 |begin{ma|cro}{\@b|
|00001e50| 65 67 69 6e 74 68 65 6f | 72 65 6d 7d 0a 25 20 20 |egintheo|rem}.%  |
|00001e60| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 7d 7b 5c 40 |\begin{m|acro}{\@|
|00001e70| 6f 70 61 72 67 62 65 67 | 69 6e 74 68 65 6f 72 65 |opargbeg|intheore|
|00001e80| 6d 7d 0a 25 20 20 5c 62 | 65 67 69 6e 7b 6d 61 63 |m}.%  \b|egin{mac|
|00001e90| 72 6f 7d 7b 5c 40 65 6e | 64 74 68 65 6f 72 65 6d |ro}{\@en|dtheorem|
|00001ea0| 7d 0a 25 20 20 5c 63 68 | 61 6e 67 65 73 7b 4c 61 |}.%  \ch|anges{La|
|00001eb0| 54 65 58 32 2e 30 39 7d | 7b 31 39 39 31 2f 30 38 |TeX2.09}|{1991/08|
|00001ec0| 2f 31 34 7d 0a 25 20 20 | 20 20 20 20 20 20 20 7b |/14}.%  |       {|
|00001ed0| 4d 6f 76 65 64 20 5c 63 | 6d 64 5c 69 74 73 68 61 |Moved \c|md\itsha|
|00001ee0| 70 65 20 61 66 74 65 72 | 20 5c 63 6d 64 5c 69 74 |pe after| \cmd\it|
|00001ef0| 65 6d 20 74 6f 20 6d 61 | 6b 65 20 69 74 20 77 6f |em to ma|ke it wo|
|00001f00| 72 6b 20 77 69 74 68 20 | 4e 46 53 53 7d 0a 25 20 |rk with |NFSS}.% |
|00001f10| 20 20 20 50 72 6f 76 69 | 64 69 6e 67 20 74 68 65 |   Provi|ding the|
|00001f20| 6f 72 65 6d 20 64 65 66 | 61 75 6c 74 73 2e 0a 25 |orem def|aults..%|
|00001f30| 20 20 5c 74 61 73 6b 7b | 3f 3f 3f 7d 7b 61 64 64 |  \task{|???}{add|
|00001f40| 20 60 72 65 73 65 74 40 | 66 6f 6e 74 3f 7d 0a 25 | `reset@|font?}.%|
|00001f50| 20 20 20 20 5c 62 65 67 | 69 6e 7b 6d 61 63 72 6f |    \beg|in{macro|
|00001f60| 63 6f 64 65 7d 0a 5c 64 | 65 66 5c 40 62 65 67 69 |code}.\d|ef\@begi|
|00001f70| 6e 74 68 65 6f 72 65 6d | 23 31 23 32 7b 5c 74 72 |ntheorem|#1#2{\tr|
|00001f80| 69 76 6c 69 73 74 20 0a | 20 20 20 5c 69 74 65 6d |ivlist .|   \item|
|00001f90| 5b 5c 68 73 6b 69 70 20 | 5c 6c 61 62 65 6c 73 65 |[\hskip |\labelse|
|00001fa0| 70 7b 5c 62 66 73 65 72 | 69 65 73 20 23 31 5c 20 |p{\bfser|ies #1\ |
|00001fb0| 23 32 7d 5d 5c 69 74 73 | 68 61 70 65 7d 0a 5c 64 |#2}]\its|hape}.\d|
|00001fc0| 65 66 5c 40 6f 70 61 72 | 67 62 65 67 69 6e 74 68 |ef\@opar|gbeginth|
|00001fd0| 65 6f 72 65 6d 23 31 23 | 32 23 33 7b 5c 74 72 69 |eorem#1#|2#3{\tri|
|00001fe0| 76 6c 69 73 74 0a 20 20 | 20 20 20 20 5c 69 74 65 |vlist.  |    \ite|
|00001ff0| 6d 5b 5c 68 73 6b 69 70 | 20 5c 6c 61 62 65 6c 73 |m[\hskip| \labels|
|00002000| 65 70 7b 5c 62 66 73 65 | 72 69 65 73 20 23 31 5c |ep{\bfse|ries #1\|
|00002010| 20 23 32 5c 20 28 23 33 | 29 7d 5d 5c 69 74 73 68 | #2\ (#3|)}]\itsh|
|00002020| 61 70 65 7d 0a 5c 64 65 | 66 5c 40 65 6e 64 74 68 |ape}.\de|f\@endth|
|00002030| 65 6f 72 65 6d 7b 5c 65 | 6e 64 74 72 69 76 6c 69 |eorem{\e|ndtrivli|
|00002040| 73 74 7d 0a 25 3c 2f 32 | 65 6b 65 72 6e 65 6c 3e |st}.%</2|ekernel>|
|00002050| 0a 25 20 20 20 20 5c 65 | 6e 64 7b 6d 61 63 72 6f |.%    \e|nd{macro|
|00002060| 63 6f 64 65 7d 0a 25 20 | 20 5c 65 6e 64 7b 6d 61 |code}.% | \end{ma|
|00002070| 63 72 6f 7d 0a 25 20 20 | 5c 65 6e 64 7b 6d 61 63 |cro}.%  |\end{mac|
|00002080| 72 6f 7d 0a 25 20 20 5c | 65 6e 64 7b 6d 61 63 72 |ro}.%  \|end{macr|
|00002090| 6f 7d 0a 25 0a 25 20 5c | 46 69 6e 61 6c 65 0a 25 |o}.%.% \|Finale.%|
|000020a0| 0a                      |                         |.       |        |
+--------+-------------------------+-------------------------+--------+--------+