home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
You can browse this item here: thp.txt
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 99%
| dexvert
| Texinfo Document (document/texInfo)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| TeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| x-fmt/111 Plain Text File
| default
| |
| 100%
| gt2
| Textdatei (UNIX)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 54 68 69 73 20 | 69 73 20 66 69 6c 65 20 |%% This |is file |
|00000010| 60 74 68 70 2e 73 74 79 | 27 2c 20 67 65 6e 65 72 |`thp.sty|', gener|
|00000020| 61 74 65 64 20 0a 25 25 | 20 6f 6e 20 3c 31 39 39 |ated .%%| on <199|
|00000030| 35 2f 31 2f 32 34 3e 20 | 77 69 74 68 20 74 68 65 |5/1/24> |with the|
|00000040| 20 64 6f 63 73 74 72 69 | 70 20 75 74 69 6c 69 74 | docstri|p utilit|
|00000050| 79 20 28 32 2e 32 69 29 | 2e 0a 25 25 20 54 68 65 |y (2.2i)|..%% The|
|00000060| 20 6f 72 69 67 69 6e 61 | 6c 20 73 6f 75 72 63 65 | origina|l source|
|00000070| 20 66 69 6c 65 73 20 77 | 65 72 65 3a 0a 25 25 20 | files w|ere:.%% |
|00000080| 74 68 65 6f 72 65 6d 2e | 64 74 78 20 20 28 77 69 |theorem.|dtx (wi|
|00000090| 74 68 20 6f 70 74 69 6f | 6e 73 3a 20 60 74 68 70 |th optio|ns: `thp|
|000000a0| 27 29 0a 25 25 20 49 4d | 50 4f 52 54 41 4e 54 20 |').%% IM|PORTANT |
|000000b0| 4e 4f 54 49 43 45 3a 20 | 0a 25 25 20 54 68 69 73 |NOTICE: |.%% This|
|000000c0| 20 66 69 6c 65 20 69 73 | 20 70 61 72 74 20 6f 66 | file is| part of|
|000000d0| 20 74 68 65 20 60 74 6f | 6f 6c 73 27 20 62 75 6e | the `to|ols' bun|
|000000e0| 64 6c 65 20 0a 25 25 20 | 69 6e 20 74 68 65 20 4c |dle .%% |in the L|
|000000f0| 61 54 65 58 32 65 20 64 | 69 73 74 72 69 62 75 74 |aTeX2e d|istribut|
|00000100| 69 6f 6e 2e 20 0a 25 25 | 20 59 6f 75 20 61 72 65 |ion. .%%| You are|
|00000110| 20 6e 6f 74 20 61 6c 6c | 6f 77 65 64 20 74 6f 20 | not all|owed to |
|00000120| 64 69 73 74 72 69 62 75 | 74 65 20 74 68 69 73 20 |distribu|te this |
|00000130| 66 69 6c 65 2e 20 0a 25 | 25 20 46 6f 72 20 64 69 |file. .%|% For di|
|00000140| 73 74 72 69 62 75 74 69 | 6f 6e 20 6f 66 20 74 68 |stributi|on of th|
|00000150| 65 20 6f 72 69 67 69 6e | 61 6c 20 73 6f 75 72 63 |e origin|al sourc|
|00000160| 65 20 73 65 65 20 0a 25 | 25 20 74 68 65 20 63 6f |e see .%|% the co|
|00000170| 70 79 72 69 67 68 74 20 | 6e 6f 74 69 63 65 20 69 |pyright |notice i|
|00000180| 6e 20 74 68 65 20 73 6f | 75 72 63 65 20 66 69 6c |n the so|urce fil|
|00000190| 65 2c 20 61 6e 64 20 0a | 25 25 20 69 6e 20 74 68 |e, and .|%% in th|
|000001a0| 65 20 66 69 6c 65 20 72 | 65 61 64 6d 65 2e 74 78 |e file r|eadme.tx|
|000001b0| 74 20 64 69 73 74 72 69 | 62 75 74 65 64 20 77 69 |t distri|buted wi|
|000001c0| 74 68 20 74 68 65 20 0a | 25 25 20 74 6f 6f 6c 73 |th the .|%% tools|
|000001d0| 20 62 75 6e 64 6c 65 2e | 20 0a 5c 64 65 66 5c 66 | bundle.| .\def\f|
|000001e0| 69 6c 65 76 65 72 73 69 | 6f 6e 7b 76 32 2e 32 61 |ileversi|on{v2.2a|
|000001f0| 7d 0a 5c 64 65 66 5c 66 | 69 6c 65 64 61 74 65 7b |}.\def\f|iledate{|
|00000200| 31 39 39 34 2f 30 32 2f | 30 33 7d 0a 5c 64 65 66 |1994/02/|03}.\def|
|00000210| 5c 64 6f 63 64 61 74 65 | 20 7b 31 39 39 34 2f 30 |\docdate| {1994/0|
|00000220| 32 2f 32 38 7d 0a 25 25 | 20 5c 43 68 61 72 61 63 |2/28}.%%| \Charac|
|00000230| 74 65 72 54 61 62 6c 65 | 0a 25 25 20 20 7b 55 70 |terTable|.%% {Up|
|00000240| 70 65 72 2d 63 61 73 65 | 20 20 20 20 5c 41 5c 42 |per-case| \A\B|
|00000250| 5c 43 5c 44 5c 45 5c 46 | 5c 47 5c 48 5c 49 5c 4a |\C\D\E\F|\G\H\I\J|
|00000260| 5c 4b 5c 4c 5c 4d 5c 4e | 5c 4f 5c 50 5c 51 5c 52 |\K\L\M\N|\O\P\Q\R|
|00000270| 5c 53 5c 54 5c 55 5c 56 | 5c 57 5c 58 5c 59 5c 5a |\S\T\U\V|\W\X\Y\Z|
|00000280| 0a 25 25 20 20 20 4c 6f | 77 65 72 2d 63 61 73 65 |.%% Lo|wer-case|
|00000290| 20 20 20 20 5c 61 5c 62 | 5c 63 5c 64 5c 65 5c 66 | \a\b|\c\d\e\f|
|000002a0| 5c 67 5c 68 5c 69 5c 6a | 5c 6b 5c 6c 5c 6d 5c 6e |\g\h\i\j|\k\l\m\n|
|000002b0| 5c 6f 5c 70 5c 71 5c 72 | 5c 73 5c 74 5c 75 5c 76 |\o\p\q\r|\s\t\u\v|
|000002c0| 5c 77 5c 78 5c 79 5c 7a | 0a 25 25 20 20 20 44 69 |\w\x\y\z|.%% Di|
|000002d0| 67 69 74 73 20 20 20 20 | 20 20 20 20 5c 30 5c 31 |gits | \0\1|
|000002e0| 5c 32 5c 33 5c 34 5c 35 | 5c 36 5c 37 5c 38 5c 39 |\2\3\4\5|\6\7\8\9|
|000002f0| 0a 25 25 20 20 20 45 78 | 63 6c 61 6d 61 74 69 6f |.%% Ex|clamatio|
|00000300| 6e 20 20 20 5c 21 20 20 | 20 20 20 44 6f 75 62 6c |n \! | Doubl|
|00000310| 65 20 71 75 6f 74 65 20 | 20 5c 22 20 20 20 20 20 |e quote | \" |
|00000320| 48 61 73 68 20 28 6e 75 | 6d 62 65 72 29 20 5c 23 |Hash (nu|mber) \#|
|00000330| 0a 25 25 20 20 20 44 6f | 6c 6c 61 72 20 20 20 20 |.%% Do|llar |
|00000340| 20 20 20 20 5c 24 20 20 | 20 20 20 50 65 72 63 65 | \$ | Perce|
|00000350| 6e 74 20 20 20 20 20 20 | 20 5c 25 20 20 20 20 20 |nt | \% |
|00000360| 41 6d 70 65 72 73 61 6e | 64 20 20 20 20 20 5c 26 |Ampersan|d \&|
|00000370| 0a 25 25 20 20 20 41 63 | 75 74 65 20 61 63 63 65 |.%% Ac|ute acce|
|00000380| 6e 74 20 20 5c 27 20 20 | 20 20 20 4c 65 66 74 20 |nt \' | Left |
|00000390| 70 61 72 65 6e 20 20 20 | 20 5c 28 20 20 20 20 20 |paren | \( |
|000003a0| 52 69 67 68 74 20 70 61 | 72 65 6e 20 20 20 5c 29 |Right pa|ren \)|
|000003b0| 0a 25 25 20 20 20 41 73 | 74 65 72 69 73 6b 20 20 |.%% As|terisk |
|000003c0| 20 20 20 20 5c 2a 20 20 | 20 20 20 50 6c 75 73 20 | \* | Plus |
|000003d0| 20 20 20 20 20 20 20 20 | 20 5c 2b 20 20 20 20 20 | | \+ |
|000003e0| 43 6f 6d 6d 61 20 20 20 | 20 20 20 20 20 20 5c 2c |Comma | \,|
|000003f0| 0a 25 25 20 20 20 4d 69 | 6e 75 73 20 20 20 20 20 |.%% Mi|nus |
|00000400| 20 20 20 20 5c 2d 20 20 | 20 20 20 50 6f 69 6e 74 | \- | Point|
|00000410| 20 20 20 20 20 20 20 20 | 20 5c 2e 20 20 20 20 20 | | \. |
|00000420| 53 6f 6c 69 64 75 73 20 | 20 20 20 20 20 20 5c 2f |Solidus | \/|
|00000430| 0a 25 25 20 20 20 43 6f | 6c 6f 6e 20 20 20 20 20 |.%% Co|lon |
|00000440| 20 20 20 20 5c 3a 20 20 | 20 20 20 53 65 6d 69 63 | \: | Semic|
|00000450| 6f 6c 6f 6e 20 20 20 20 | 20 5c 3b 20 20 20 20 20 |olon | \; |
|00000460| 4c 65 73 73 20 74 68 61 | 6e 20 20 20 20 20 5c 3c |Less tha|n \<|
|00000470| 0a 25 25 20 20 20 45 71 | 75 61 6c 73 20 20 20 20 |.%% Eq|uals |
|00000480| 20 20 20 20 5c 3d 20 20 | 20 20 20 47 72 65 61 74 | \= | Great|
|00000490| 65 72 20 74 68 61 6e 20 | 20 5c 3e 20 20 20 20 20 |er than | \> |
|000004a0| 51 75 65 73 74 69 6f 6e | 20 6d 61 72 6b 20 5c 3f |Question| mark \?|
|000004b0| 0a 25 25 20 20 20 43 6f | 6d 6d 65 72 63 69 61 6c |.%% Co|mmercial|
|000004c0| 20 61 74 20 5c 40 20 20 | 20 20 20 4c 65 66 74 20 | at \@ | Left |
|000004d0| 62 72 61 63 6b 65 74 20 | 20 5c 5b 20 20 20 20 20 |bracket | \[ |
|000004e0| 42 61 63 6b 73 6c 61 73 | 68 20 20 20 20 20 5c 5c |Backslas|h \\|
|000004f0| 0a 25 25 20 20 20 52 69 | 67 68 74 20 62 72 61 63 |.%% Ri|ght brac|
|00000500| 6b 65 74 20 5c 5d 20 20 | 20 20 20 43 69 72 63 75 |ket \] | Circu|
|00000510| 6d 66 6c 65 78 20 20 20 | 20 5c 5e 20 20 20 20 20 |mflex | \^ |
|00000520| 55 6e 64 65 72 73 63 6f | 72 65 20 20 20 20 5c 5f |Undersco|re \_|
|00000530| 0a 25 25 20 20 20 47 72 | 61 76 65 20 61 63 63 65 |.%% Gr|ave acce|
|00000540| 6e 74 20 20 5c 60 20 20 | 20 20 20 4c 65 66 74 20 |nt \` | Left |
|00000550| 62 72 61 63 65 20 20 20 | 20 5c 7b 20 20 20 20 20 |brace | \{ |
|00000560| 56 65 72 74 69 63 61 6c | 20 62 61 72 20 20 5c 7c |Vertical| bar \||
|00000570| 0a 25 25 20 20 20 52 69 | 67 68 74 20 62 72 61 63 |.%% Ri|ght brac|
|00000580| 65 20 20 20 5c 7d 20 20 | 20 20 20 54 69 6c 64 65 |e \} | Tilde|
|00000590| 20 20 20 20 20 20 20 20 | 20 5c 7e 7d 0a 25 25 20 | | \~}.%% |
|000005a0| 50 61 63 6b 61 67 65 20 | 60 74 68 65 6f 72 65 6d |Package |`theorem|
|000005b0| 27 20 74 6f 20 75 73 65 | 20 77 69 74 68 20 4c 61 |' to use| with La|
|000005c0| 54 65 58 32 65 0a 25 25 | 20 43 6f 70 79 72 69 67 |TeX2e.%%| Copyrig|
|000005d0| 68 74 20 28 43 29 20 31 | 39 38 39 2d 31 39 39 34 |ht (C) 1|989-1994|
|000005e0| 20 46 72 61 6e 6b 20 4d | 69 74 74 65 6c 62 61 63 | Frank M|ittelbac|
|000005f0| 68 2c 20 61 6c 6c 20 72 | 69 67 68 74 73 20 72 65 |h, all r|ights re|
|00000600| 73 65 72 76 65 64 2e 0a | 25 25 20 46 6f 72 20 65 |served..|%% For e|
|00000610| 72 72 6f 72 20 72 65 70 | 6f 72 74 73 20 66 6f 72 |rror rep|orts for|
|00000620| 20 55 4e 43 48 41 4e 47 | 45 44 20 76 65 72 73 69 | UNCHANG|ED versi|
|00000630| 6f 6e 73 20 73 65 65 20 | 72 65 61 64 6d 65 2e 74 |ons see |readme.t|
|00000640| 78 74 2e 0a 25 25 20 20 | 20 54 68 65 20 6e 65 78 |xt..%% | The nex|
|00000650| 74 20 66 65 77 20 6c 69 | 6e 65 73 20 64 65 66 69 |t few li|nes defi|
|00000660| 6e 65 20 74 68 65 6f 72 | 65 6d 20 73 65 74 73 20 |ne theor|em sets |
|00000670| 77 68 69 63 68 20 61 72 | 65 20 75 73 65 64 0a 25 |which ar|e used.%|
|00000680| 25 20 20 20 69 6e 20 74 | 68 65 20 65 78 61 6d 70 |% in t|he examp|
|00000690| 6c 65 20 73 65 63 74 69 | 6f 6e 20 6f 66 20 74 68 |le secti|on of th|
|000006a0| 65 20 64 6f 63 75 6d 65 | 6e 74 61 74 69 6f 6e 2e |e docume|ntation.|
|000006b0| 0a 5c 62 65 67 69 6e 67 | 72 6f 75 70 20 5c 6d 61 |.\beging|roup \ma|
|000006c0| 6b 65 61 74 6c 65 74 74 | 65 72 0a 5c 40 69 66 75 |keatlett|er.\@ifu|
|000006d0| 6e 64 65 66 69 6e 65 64 | 7b 74 68 65 6f 72 65 6d |ndefined|{theorem|
|000006e0| 40 73 74 79 6c 65 7d 7b | 5c 69 6e 70 75 74 7b 74 |@style}{|\input{t|
|000006f0| 68 65 6f 72 65 6d 2e 73 | 74 79 7d 7d 7b 7d 0a 5c |heorem.s|ty}}{}.\|
|00000700| 50 72 6f 76 69 64 65 73 | 46 69 6c 65 7b 74 68 70 |Provides|File{thp|
|00000710| 2e 73 74 79 7d 0a 20 20 | 20 20 20 20 20 20 20 20 |.sty}. | |
|00000720| 20 20 20 5b 5c 66 69 6c | 65 64 61 74 65 5c 73 70 | [\fil|edate\sp|
|00000730| 61 63 65 20 54 68 65 6f | 72 65 6d 20 6c 61 79 6f |ace Theo|rem layo|
|00000740| 75 74 20 73 74 79 6c 65 | 20 5c 66 69 6c 65 76 65 |ut style| \fileve|
|00000750| 72 73 69 6f 6e 5d 0a 5c | 77 6c 6f 67 7b 54 68 65 |rsion].\|wlog{The|
|00000760| 6f 72 65 6d 20 6c 61 79 | 6f 75 74 3a 20 60 74 68 |orem lay|out: `th|
|00000770| 65 6f 72 65 6d 2d 70 6c | 61 69 6e 27 20 5c 66 69 |eorem-pl|ain' \fi|
|00000780| 6c 65 76 65 72 73 69 6f | 6e 20 5c 73 70 61 63 65 |leversio|n \space|
|00000790| 0a 20 20 20 20 20 20 20 | 20 20 3c 5c 66 69 6c 65 |. | <\file|
|000007a0| 64 61 74 65 3e 20 20 28 | 46 4d 69 29 7d 0a 5c 67 |date> (|FMi)}.\g|
|000007b0| 64 65 66 5c 74 68 40 70 | 6c 61 69 6e 7b 5c 6e 6f |def\th@p|lain{\no|
|000007c0| 72 6d 61 6c 66 6f 6e 74 | 5c 69 74 73 68 61 70 65 |rmalfont|\itshape|
|000007d0| 0a 20 20 5c 64 65 66 5c | 40 62 65 67 69 6e 74 68 |. \def\|@beginth|
|000007e0| 65 6f 72 65 6d 23 23 31 | 23 23 32 7b 25 0a 20 20 |eorem##1|##2{%. |
|000007f0| 20 20 20 20 20 20 5c 69 | 74 65 6d 5b 5c 68 73 6b | \i|tem[\hsk|
|00000800| 69 70 5c 6c 61 62 65 6c | 73 65 70 20 5c 74 68 65 |ip\label|sep \the|
|00000810| 6f 72 65 6d 40 68 65 61 | 64 65 72 66 6f 6e 74 20 |orem@hea|derfont |
|00000820| 23 23 31 5c 20 23 23 32 | 5d 7d 25 0a 5c 64 65 66 |##1\ ##2|]}%.\def|
|00000830| 5c 40 6f 70 61 72 67 62 | 65 67 69 6e 74 68 65 6f |\@opargb|egintheo|
|00000840| 72 65 6d 23 23 31 23 23 | 32 23 23 33 7b 25 0a 20 |rem##1##|2##3{%. |
|00000850| 20 20 5c 69 74 65 6d 5b | 5c 68 73 6b 69 70 5c 6c | \item[|\hskip\l|
|00000860| 61 62 65 6c 73 65 70 20 | 5c 74 68 65 6f 72 65 6d |abelsep |\theorem|
|00000870| 40 68 65 61 64 65 72 66 | 6f 6e 74 20 23 23 31 5c |@headerf|ont ##1\|
|00000880| 20 23 23 32 5c 20 28 23 | 23 33 29 5d 7d 7d 0a 5c | ##2\ (#|#3)]}}.\|
|00000890| 65 6e 64 67 72 6f 75 70 | 0a 5c 65 6e 64 69 6e 70 |endgroup|.\endinp|
|000008a0| 75 74 0a 25 25 20 45 6e | 64 20 6f 66 20 66 69 6c |ut.%% En|d of fil|
|000008b0| 65 20 60 74 68 70 2e 73 | 74 79 27 2e 0a |e `thp.s|ty'.. |
+--------+-------------------------+-------------------------+--------+--------+
