blob: ec5203226bdab85a5f32be7f7a5744265e6c5444 (plain)

ofs	hex dump	ascii
0000	3b 45 4c 43 1c 00 00 00 0a 3b 3b 3b 20 43 6f 6d 70 69 6c 65 64 0a 3b 3b 3b 20 69 6e 20 45 6d 61	;ELC.....;;;.Compiled.;;;.in.Ema
0020	63 73 20 76 65 72 73 69 6f 6e 20 32 38 2e 31 0a 3b 3b 3b 20 77 69 74 68 20 61 6c 6c 20 6f 70 74	cs.version.28.1.;;;.with.all.opt
0040	69 6d 69 7a 61 74 69 6f 6e 73 2e 0a 0a 0a 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c	imizations.....(byte-code."\300\
0060	33 30 31 21 5c 32 31 30 5c 33 30 30 5c 33 30 32 21 5c 32 31 30 5c 33 30 30 5c 33 30 33 21 5c 32	301!\210\300\302!\210\300\303!\2
0080	30 37 22 20 5b 72 65 71 75 69 72 65 20 63 72 6d 20 74 65 78 20 6c 61 74 65 78 5d 20 32 29 0a 23	07".[require.crm.tex.latex].2).#
00a0	40 35 31 20 4c 69 73 74 20 6f 66 20 74 68 65 6f 72 65 6d 20 73 74 79 6c 65 73 20 70 72 6f 76 69	@51.List.of.theorem.styles.provi
00c0	64 65 64 20 62 79 20 60 74 68 65 6f 72 65 6d 2e 73 74 79 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c	ded.by.`theorem.sty'...(defvar.L
00e0	61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 27	aTeX-theorem-theoremstyle-list.'
0100	28 28 22 70 6c 61 69 6e 22 29 20 28 22 62 72 65 61 6b 22 29 20 28 22 6d 61 72 67 69 6e 22 29 20	(("plain").("break").("margin").
0120	28 22 63 68 61 6e 67 65 22 29 20 28 22 6d 61 72 67 69 6e 62 72 65 61 6b 22 29 20 28 22 63 68 61	("change").("marginbreak").("cha
0140	6e 67 65 62 72 65 61 6b 22 29 29 20 28 23 24 20 2e 20 31 36 34 29 29 0a 23 40 36 38 20 4c 69 73	ngebreak")).(#$...164)).#@68.Lis
0160	74 20 6f 66 20 66 6f 6e 74 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 63 6f 6d 6d 61 6e 64 73 20 66	t.of.font.declaration.commands.f
0180	6f 72 20 22 5c 74 68 65 6f 72 65 6d 28 62 6f 64 79 7c 68 65 61 64 65 72 29 66 6f 6e 74 22 2e 1f	or."\theorem(body|header)font"..
01a0	0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 66 6f 6e 74 64 65 63 6c 20	.(defvar.LaTeX-theorem-fontdecl.
01c0	27 28 22 72 6d 66 61 6d 69 6c 79 22 20 22 73 66 66 61 6d 69 6c 79 22 20 22 74 74 66 61 6d 69 6c	'("rmfamily"."sffamily"."ttfamil
01e0	79 22 20 22 6d 64 73 65 72 69 65 73 22 20 22 62 66 73 65 72 69 65 73 22 20 22 75 70 73 68 61 70	y"."mdseries"."bfseries"."upshap
0200	65 22 20 22 69 74 73 68 61 70 65 22 20 22 73 6c 73 68 61 70 65 22 20 22 73 63 73 68 61 70 65 22	e"."itshape"."slshape"."scshape"
0220	20 22 74 69 6e 79 22 20 22 73 63 72 69 70 74 73 69 7a 65 22 20 22 66 6f 6f 74 6e 6f 74 65 73 69	."tiny"."scriptsize"."footnotesi
0240	7a 65 22 20 22 73 6d 61 6c 6c 22 20 22 6e 6f 72 6d 61 6c 73 69 7a 65 22 20 22 6c 61 72 67 65 22	ze"."small"."normalsize"."large"
0260	20 22 4c 61 72 67 65 22 20 22 4c 41 52 47 45 22 20 22 68 75 67 65 22 20 22 48 75 67 65 22 20 22	."Large"."LARGE"."huge"."Huge"."
0280	6e 6f 72 6d 61 6c 66 6f 6e 74 22 29 20 28 23 24 20 2e 20 33 34 39 29 29 0a 23 40 32 31 32 20 50	normalfont").(#$...349)).#@212.P
02a0	72 6f 6d 70 74 20 66 6f 72 20 66 6f 6e 74 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 63 6f 6d 6d 61	rompt.for.font.declaration.comma
02c0	6e 64 73 20 69 6e 20 22 5c 74 68 65 6f 72 65 6d 28 62 6f 64 79 7c 68 65 61 64 65 72 29 66 6f 6e	nds.in."\theorem(body|header)fon
02e0	74 22 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c 20 69 6e 73 65	t"..If.OPTIONAL.is.non-nil,.inse
0300	72 74 20 74 68 65 20 72 65 73 75 6c 74 69 6e 67 20 76 61 6c 75 65 20 61 73 20 61 6e 20 6f 70 74	rt.the.resulting.value.as.an.opt
0320	69 6f 6e 61 6c 0a 61 72 67 75 6d 65 6e 74 2e 20 20 55 73 65 20 50 52 4f 4d 50 54 20 61 73 20 74	ional.argument...Use.PROMPT.as.t
0340	68 65 20 70 72 6f 6d 70 74 20 73 74 72 69 6e 67 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c 20	he.prompt.string...(fn.OPTIONAL.
0360	26 6f 70 74 69 6f 6e 61 6c 20 50 52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61	&optional.PROMPT)..(defalias.'La
0380	54 65 58 2d 61 72 67 2d 74 68 65 6f 72 65 6d 2d 66 6f 6e 74 64 65 63 6c 20 23 5b 35 31 33 20 22	TeX-arg-theorem-fontdecl.#[513."
03a0	5c 33 30 33 08 21 19 5c 33 30 34 5c 33 30 35 5c 33 30 36 5c 33 30 37 05 05 5c 33 31 30 23 5c 6e	\303.!.\304\305\306\307..\310#\n
03c0	5c 33 31 31 5c 32 31 31 08 25 08 23 5c 33 31 32 01 04 5c 22 29 5c 32 30 37 22 20 5b 54 65 58 2d	\311\211.%.#\312..\")\207".[TeX-
03e0	65 73 63 20 63 72 6d 2d 73 65 70 61 72 61 74 6f 72 20 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d	esc.crm-separator.LaTeX-theorem-
0400	66 6f 6e 74 64 65 63 6c 20 72 65 67 65 78 70 2d 71 75 6f 74 65 20 6d 61 70 63 6f 6e 63 61 74 20	fontdecl.regexp-quote.mapconcat.
0420	69 64 65 6e 74 69 74 79 20 54 65 58 2d 63 6f 6d 70 6c 65 74 69 6e 67 2d 72 65 61 64 2d 6d 75 6c	identity.TeX-completing-read-mul
0440	74 69 70 6c 65 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72 6f 6d 70 74 20 22 46 6f 6e 74 22	tiple.TeX-argument-prompt."Font"
0460	20 6e 69 6c 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 69 6e 73 65 72 74 5d 20 31 30 20 28 23 24	.nil.TeX-argument-insert].10.(#$
0480	20 2e 20 36 37 31 29 5d 29 0a 23 40 35 35 30 20 49 6e 73 65 72 74 20 45 4e 56 49 52 4f 4e 4d 45	...671)]).#@550.Insert.ENVIRONME
04a0	4e 54 2c 20 71 75 65 72 79 20 66 6f 72 20 61 6e 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75 6d 65	NT,.query.for.an.optional.argume
04c0	6e 74 20 61 6e 64 20 70 72 6f 6d 70 74 0a 66 6f 72 20 6c 61 62 65 6c 2e 20 20 41 55 43 54 65 58	nt.and.prompt.for.label...AUCTeX
04e0	20 75 73 65 72 73 20 73 68 6f 75 6c 64 20 61 64 64 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 20 74 6f	.users.should.add.ENVIRONMENT.to
0500	0a 60 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 27 20 76 69 61 20 63 75 73 74 6f 6d 69	.`LaTeX-label-alist'.via.customi
0520	7a 65 20 6f 72 20 69 6e 20 69 6e 69 74 2d 66 69 6c 65 20 77 69 74 68 3a 0a 0a 20 20 28 61 64 64	ze.or.in.init-file.with:....(add
0540	2d 74 6f 2d 6c 69 73 74 20 5c 3d 27 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 20 5c 3d	-to-list.\='LaTeX-label-alist.\=
0560	27 28 22 6c 65 6d 6d 61 22 20 2e 20 22 6c 65 6d 3a 22 29 29 0a 0a 52 65 66 54 65 58 20 75 73 65	'("lemma"..."lem:"))..RefTeX.use
0580	72 73 20 73 68 6f 75 6c 64 20 63 75 73 74 6f 6d 69 7a 65 20 6f 72 20 61 64 64 20 45 4e 56 49 52	rs.should.customize.or.add.ENVIR
05a0	4f 4e 4d 45 4e 54 20 74 6f 0a 60 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 27 20 61 6e	ONMENT.to.`LaTeX-label-alist'.an
05c0	64 20 60 72 65 66 74 65 78 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 27 2c 20 66 6f 72 20 65 78 61 6d	d.`reftex-label-alist',.for.exam
05e0	70 6c 65 0a 0a 20 20 28 61 64 64 2d 74 6f 2d 6c 69 73 74 20 5c 3d 27 4c 61 54 65 58 2d 6c 61 62	ple....(add-to-list.\='LaTeX-lab
0600	65 6c 2d 61 6c 69 73 74 20 5c 3d 27 28 22 6c 65 6d 6d 61 22 20 2e 20 22 6c 65 6d 3a 22 29 29 0a	el-alist.\='("lemma"..."lem:")).
0620	20 20 28 61 64 64 2d 74 6f 2d 6c 69 73 74 20 5c 3d 27 72 65 66 74 65 78 2d 6c 61 62 65 6c 2d 61	..(add-to-list.\='reftex-label-a
0640	6c 69 73 74 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 5c 3d 27 28 22 6c 65 6d 6d 61 22 20	list................\='("lemma".
0660	3f 6d 20 22 6c 65 6d 3a 22 20 22 7e 5c 72 65 66 7b 25 73 7d 22 0a 20 20 20 20 20 20 20 20 20 20	?m."lem:"."~\ref{%s}"...........
0680	20 20 20 20 20 20 20 6e 69 6c 20 28 22 4c 65 6d 6d 61 22 20 22 6c 65 6d 6d 61 22 29 20 6e 69 6c	.......nil.("Lemma"."lemma").nil
06a0	29 29 0a 0a 28 66 6e 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20	))..(fn.ENVIRONMENT)..(defalias.
06c0	27 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 65 6e 76 2d 6c 61 62 65 6c 20 23 5b 32 35 37 20 22	'LaTeX-theorem-env-label.#[257."
06e0	5c 33 30 30 5c 33 30 31 5c 33 30 32 5c 33 30 33 5c 33 30 34 23 21 5c 33 30 35 02 02 5c 32 30 35	\300\301\302\303\304#!\305..\205
0700	18 00 02 5c 33 30 36 5c 32 33 30 3f 5c 32 30 35 18 00 5c 33 30 37 5c 33 31 30 04 5c 22 5c 22 5c	...\306\230?\205..\307\310.\"\"\
0720	32 36 36 02 5c 33 31 31 01 5c 33 31 32 5c 22 5c 32 30 35 27 00 5c 33 31 33 20 5c 32 31 30 5c 33	266.\311.\312\"\205'.\313.\210\3
0740	31 34 20 5c 32 30 37 22 20 5b 54 65 58 2d 72 65 61 64 2d 73 74 72 69 6e 67 20 54 65 58 2d 61 72	14.\207".[TeX-read-string.TeX-ar
0760	67 75 6d 65 6e 74 2d 70 72 6f 6d 70 74 20 74 20 6e 69 6c 20 22 48 65 61 64 69 6e 67 22 20 4c 61	gument-prompt.t.nil."Heading".La
0780	54 65 58 2d 69 6e 73 65 72 74 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 22 22 20 66 6f 72 6d 61 74	TeX-insert-environment."".format
07a0	20 22 5b 25 73 5d 22 20 4c 61 54 65 58 2d 6c 61 62 65 6c 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 20	."[%s]".LaTeX-label.environment.
07c0	4c 61 54 65 58 2d 6e 65 77 6c 69 6e 65 20 69 6e 64 65 6e 74 2d 61 63 63 6f 72 64 69 6e 67 2d 74	LaTeX-newline.indent-according-t
07e0	6f 2d 6d 6f 64 65 5d 20 37 20 28 23 24 20 2e 20 31 31 36 38 29 5d 29 0a 23 40 39 36 20 49 6e 66	o-mode].7.(#$...1168)]).#@96.Inf
0800	6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65	ormation.about.theorem-newtheore
0820	6d 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61	ms.in.the.current.buffer..Genera
0840	74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65	ted.by.`TeX-auto-add-type'...(de
0860	66 76 61 72 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72	fvar.LaTeX-auto-theorem-newtheor
0880	65 6d 20 6e 69 6c 20 28 23 24 20 2e 20 32 30 34 35 29 29 0a 23 40 39 36 20 49 6e 66 6f 72 6d 61	em.nil.(#$...2045)).#@96.Informa
08a0	74 69 6f 6e 20 61 62 6f 75 74 20 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 69	tion.about.theorem-newtheorems.i
08c0	6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20	n.the.current.buffer..Generated.
08e0	62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 76 61 72	by.`TeX-auto-add-type'...(defvar
0900	20 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 6e	.LaTeX-theorem-newtheorem-list.n
0920	69 6c 20 28 23 24 20 2e 20 32 32 30 31 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62	il.(#$...2201)).(make-variable-b
0940	75 66 66 65 72 2d 6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68	uffer-local.'LaTeX-theorem-newth
0960	65 6f 72 65 6d 2d 6c 69 73 74 29 0a 23 40 39 36 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f	eorem-list).#@96.Information.abo
0980	75 74 20 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 69 6e 20 74 68 65 20 63 75	ut.theorem-newtheorems.in.the.cu
09a0	72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d	rrent.buffer..Generated.by.`TeX-
09c0	61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74	auto-add-type'...(defvar.LaTeX-t
09e0	68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 63 68 61 6e 67 65 64 20 6e 69 6c 20 28 23	heorem-newtheorem-changed.nil.(#
0a00	24 20 2e 20 32 34 31 37 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66 66 65 72	$...2417)).(make-variable-buffer
0a20	2d 6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	-local.'LaTeX-theorem-newtheorem
0a40	2d 63 68 61 6e 67 65 64 29 0a 23 40 31 33 32 20 41 64 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20	-changed).#@132.Add.information.
0a60	61 62 6f 75 74 20 54 48 45 4f 52 45 4d 2d 4e 45 57 54 48 45 4f 52 45 4d 53 20 74 6f 20 74 68 65	about.THEOREM-NEWTHEOREMS.to.the
0a80	20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54	.current.buffer..Generated.by.`T
0aa0	65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 0a 0a 28 66 6e 20 26 72 65 73 74 20 54 48	eX-auto-add-type'...(fn.&rest.TH
0ac0	45 4f 52 45 4d 2d 4e 45 57 54 48 45 4f 52 45 4d 53 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c	EOREM-NEWTHEOREMS)..(defalias.'L
0ae0	61 54 65 58 2d 61 64 64 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 23 5b 31	aTeX-add-theorem-newtheorems.#[1
0b00	32 38 20 22 5c 33 30 30 5c 33 30 31 02 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 61 75 74 6f 2d 61	28."\300\301.\"\207".[TeX-auto-a
0b20	64 64 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72	dd-information."theorem-newtheor
0b40	65 6d 22 5d 20 34 20 28 23 24 20 2e 20 32 36 34 30 29 5d 29 0a 23 40 39 33 20 4c 69 73 74 20 6f	em"].4.(#$...2640)]).#@93.List.o
0b60	66 20 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 61 63 74 69 76 65 20 69 6e 20	f.theorem-newtheorems.active.in.
0b80	74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79	the.current.buffer..Generated.by
0ba0	20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 61 6c 69 61 73	.`TeX-auto-add-type'...(defalias
0bc0	20 27 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20	.'LaTeX-theorem-newtheorem-list.
0be0	23 5b 30 20 22 5c 33 30 30 5c 33 30 31 21 5c 32 30 37 22 20 5b 54 65 58 2d 61 75 74 6f 2d 6c 69	#[0."\300\301!\207".[TeX-auto-li
0c00	73 74 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72	st-information."theorem-newtheor
0c20	65 6d 22 5d 20 32 20 28 23 24 20 2e 20 32 39 30 36 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 65 20	em"].2.(#$...2906)]).(byte-code.
0c40	22 5c 33 30 30 5c 33 30 31 5c 33 30 32 5c 33 30 33 23 5c 32 31 30 5c 33 30 34 5c 33 30 35 5c 33	"\300\301\302\303#\210\304\305\3
0c60	30 36 5c 22 5c 32 30 37 22 20 5b 61 64 64 2d 74 6f 2d 6c 69 73 74 20 54 65 58 2d 61 75 74 6f 2d	06\"\207".[add-to-list.TeX-auto-
0c80	70 61 72 73 65 72 20 28 22 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 22 20 4c 61 54	parser.("theorem-newtheorem".LaT
0ca0	65 58 2d 61 75 74 6f 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 20 4c 61 54 65 58	eX-auto-theorem-newtheorem.LaTeX
0cc0	2d 61 64 64 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 4c 61 54 65 58 2d 74	-add-theorem-newtheorems.LaTeX-t
0ce0	68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 4c 61 54 65 58 2d 74 68 65	heorem-newtheorem-list.LaTeX-the
0d00	6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 63 68 61 6e 67 65 64 29 20 74 20 61 64 64 2d 68	orem-newtheorem-changed).t.add-h
0d20	6f 6f 6b 20 54 65 58 2d 72 65 6d 6f 76 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 23 5b 30 20 22 5c	ook.TeX-remove-style-hook.#[0."\
0d40	33 30 31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 6e 65 77	301\211.\207".[LaTeX-theorem-new
0d60	74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 6e 69 6c 5d 20 32 5d 5d 20 34 29 0a 23 40 35 35 20 43 6c	theorem-list.nil].2]].4).#@55.Cl
0d80	65 61 72 20 60 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72	ear.`LaTeX-auto-theorem-newtheor
0da0	65 6d 27 20 62 65 66 6f 72 65 20 70 61 72 73 69 6e 67 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27	em'.before.parsing...(defalias.'
0dc0	4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 61 75 74 6f 2d 70 72 65 70 61 72 65 20 23 5b 30 20 22	LaTeX-theorem-auto-prepare.#[0."
0de0	5c 33 30 31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 65 6f 72	\301\211.\207".[LaTeX-auto-theor
0e00	65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 20 6e 69 6c 5d 20 32 20 28 23 24 20 2e 20 33 34 35 34 29	em-newtheorem.nil].2.(#$...3454)
0e20	5d 29 0a 23 40 31 30 33 20 4d 6f 76 65 20 70 61 72 73 65 64 20 72 65 73 75 6c 74 73 20 66 72 6f	]).#@103.Move.parsed.results.fro
0e40	6d 20 60 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	m.`LaTeX-auto-theorem-newtheorem
0e60	27 20 61 6e 64 0a 6d 61 6b 65 20 74 68 65 6d 20 61 76 61 69 6c 61 62 6c 65 20 61 73 20 6e 65 77	'.and.make.them.available.as.new
0e80	20 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58	.environments...(defalias.'LaTeX
0ea0	2d 74 68 65 6f 72 65 6d 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 20 23 5b 30 20 22 5c 33 30 30 5c	-theorem-auto-cleanup.#[0."\300\
0ec0	33 30 31 5c 33 30 32 20 5c 22 5c 32 31 31 5c 32 30 35 18 00 5c 32 31 31 40 5c 33 30 33 01 5c 33	301\302.\"\211\205..\211@\303.\3
0ee0	30 34 44 21 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 32 05 00 5c 32 30 37 22 20 5b 6d	04D!\210.A\266\202\202..\207".[m
0f00	61 70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72	apcar.car.LaTeX-theorem-newtheor
0f20	65 6d 2d 6c 69 73 74 20 4c 61 54 65 58 2d 61 64 64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 4c	em-list.LaTeX-add-environments.L
0f40	61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 65 6e 76 2d 6c 61 62 65 6c 5d 20 35 20 28 23 24 20 2e 20	aTeX-theorem-env-label].5.(#$...
0f60	33 36 32 35 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 31 5c 33 30 32 5c 33 30 33	3625)]).(byte-code."\301\302\303
0f80	5c 33 30 34 23 5c 32 31 30 5c 33 30 31 5c 33 30 35 5c 33 30 36 5c 33 30 34 23 5c 32 31 30 5c 33	\304#\210\301\305\306\304#\210\3
0fa0	30 31 5c 33 30 37 5c 33 31 30 5c 33 30 34 23 5c 32 31 30 5c 33 31 31 5c 33 31 32 5c 33 31 33 08	01\307\310\304#\210\311\312\313.
0fc0	23 5c 32 30 37 22 20 5b 54 65 58 2d 64 69 61 6c 65 63 74 20 61 64 64 2d 68 6f 6f 6b 20 54 65 58	#\207".[TeX-dialect.add-hook.TeX
0fe0	2d 61 75 74 6f 2d 70 72 65 70 61 72 65 2d 68 6f 6f 6b 20 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d	-auto-prepare-hook.LaTeX-theorem
1000	2d 61 75 74 6f 2d 70 72 65 70 61 72 65 20 74 20 54 65 58 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70	-auto-prepare.t.TeX-auto-cleanup
1020	2d 68 6f 6f 6b 20 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70	-hook.LaTeX-theorem-auto-cleanup
1040	20 54 65 58 2d 75 70 64 61 74 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 54 65 58 2d 61 75 74 6f 2d	.TeX-update-style-hook.TeX-auto-
1060	70 61 72 73 65 20 54 65 58 2d 61 64 64 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 22 74 68 65 6f 72 65	parse.TeX-add-style-hook."theore
1080	6d 22 20 23 5b 30 20 22 5c 33 30 32 5c 33 30 33 08 5c 33 30 34 51 5c 33 30 35 42 21 5c 32 31 30	m".#[0."\302\303.\304Q\305B!\210
10a0	5c 33 30 36 5c 33 30 37 5c 33 31 30 5c 33 31 31 5c 33 31 32 5c 33 31 33 5c 33 31 34 26 06 5c 32	\306\307\310\311\312\313\314&.\2
10c0	31 30 5c 33 31 35 5c 33 31 36 21 5c 32 30 35 23 00 09 5c 33 31 37 3d 5c 32 30 35 23 00 5c 33 32	10\315\316!\205#..\317=\205#.\32
10e0	30 5c 33 32 31 5c 33 32 32 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 74 6f 6b 65 6e 2d 63 68 61 72	0\321\322\"\207".[TeX-token-char
1100	20 54 65 58 2d 69 6e 73 74 61 6c 6c 2d 66 6f 6e 74 2d 6c 6f 63 6b 20 54 65 58 2d 61 75 74 6f 2d	.TeX-install-font-lock.TeX-auto-
1120	61 64 64 2d 72 65 67 65 78 70 20 22 5c 5c 5c 5c 6e 65 77 74 68 65 6f 72 65 6d 7b 5c 5c 28 22 20	add-regexp."\\\\newtheorem{\\(".
1140	22 2b 5c 5c 29 7d 22 20 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 65 6f 72 65 6d 2d 6e 65	"+\\)}".(1.LaTeX-auto-theorem-ne
1160	77 74 68 65 6f 72 65 6d 29 20 54 65 58 2d 61 64 64 2d 73 79 6d 62 6f 6c 73 20 28 22 6e 65 77 74	wtheorem).TeX-add-symbols.("newt
1180	68 65 6f 72 65 6d 22 20 28 54 65 58 2d 61 72 67 2d 65 76 61 6c 20 28 6c 61 6d 62 64 61 20 6e 69	heorem".(TeX-arg-eval.(lambda.ni
11a0	6c 20 28 6c 65 74 20 28 28 6e 74 68 6d 20 28 54 65 58 2d 72 65 61 64 2d 73 74 72 69 6e 67 20 28	l.(let.((nthm.(TeX-read-string.(
11c0	54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72 6f 6d 70 74 20 6e 69 6c 20 6e 69 6c 20 22 45 6e 76	TeX-argument-prompt.nil.nil."Env
11e0	69 72 6f 6e 6d 65 6e 74 22 29 29 29 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 74 68 65 6f 72 65 6d	ironment")))).(LaTeX-add-theorem
1200	2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 6e 74 68 6d 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 65 6e	-newtheorems.nthm).(LaTeX-add-en
1220	76 69 72 6f 6e 6d 65 6e 74 73 20 28 6c 69 73 74 20 6e 74 68 6d 20 23 27 4c 61 54 65 58 2d 74 68	vironments.(list.nthm.#'LaTeX-th
1240	65 6f 72 65 6d 2d 65 6e 76 2d 6c 61 62 65 6c 29 29 20 28 66 6f 72 6d 61 74 20 22 25 73 22 20 6e	eorem-env-label)).(format."%s".n
1260	74 68 6d 29 29 29 29 20 5b 54 65 58 2d 61 72 67 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 22 4e 75	thm)))).[TeX-arg-environment."Nu
1280	6d 62 65 72 65 64 20 6c 69 6b 65 22 5d 20 74 20 5b 28 54 65 58 2d 61 72 67 2d 65 76 61 6c 20 70	mbered.like"].t.[(TeX-arg-eval.p
12a0	72 6f 67 6e 20 28 69 66 20 28 65 71 20 28 73 61 76 65 2d 65 78 63 75 72 73 69 6f 6e 20 28 62 61	rogn.(if.(eq.(save-excursion.(ba
12c0	63 6b 77 61 72 64 2d 63 68 61 72 20 32 29 20 28 70 72 65 63 65 64 69 6e 67 2d 63 68 61 72 29 29	ckward-char.2).(preceding-char))
12e0	20 39 33 29 20 6e 69 6c 20 28 54 65 58 2d 61 72 67 2d 63 6f 75 6e 74 65 72 20 74 20 22 57 69 74	.93).nil.(TeX-arg-counter.t."Wit
1300	68 69 6e 20 63 6f 75 6e 74 65 72 22 29 29 20 22 22 29 5d 29 20 28 22 74 68 65 6f 72 65 6d 73 74	hin.counter"))."")]).("theoremst
1320	79 6c 65 22 20 28 54 65 58 2d 61 72 67 2d 65 76 61 6c 20 63 6f 6d 70 6c 65 74 69 6e 67 2d 72 65	yle".(TeX-arg-eval.completing-re
1340	61 64 20 22 53 74 79 6c 65 3a 20 22 20 4c 61 54 65 58 2d 74 68 65 6f 72 65 6d 2d 74 68 65 6f 72	ad."Style:.".LaTeX-theorem-theor
1360	65 6d 73 74 79 6c 65 2d 6c 69 73 74 29 29 20 28 22 74 68 65 6f 72 65 6d 62 6f 64 79 66 6f 6e 74	emstyle-list)).("theorembodyfont
1380	22 20 28 4c 61 54 65 58 2d 61 72 67 2d 74 68 65 6f 72 65 6d 2d 66 6f 6e 74 64 65 63 6c 20 22 42	".(LaTeX-arg-theorem-fontdecl."B
13a0	6f 64 79 20 66 6f 6e 74 22 29 29 20 28 22 74 68 65 6f 72 65 6d 68 65 61 64 65 72 66 6f 6e 74 22	ody.font")).("theoremheaderfont"
13c0	20 28 4c 61 54 65 58 2d 61 72 67 2d 74 68 65 6f 72 65 6d 2d 66 6f 6e 74 64 65 63 6c 20 22 48 65	.(LaTeX-arg-theorem-fontdecl."He
13e0	61 64 65 72 20 66 6f 6e 74 22 29 29 20 28 22 74 68 65 6f 72 65 6d 70 72 65 73 6b 69 70 61 6d 6f	ader.font")).("theorempreskipamo
1400	75 6e 74 22 20 28 54 65 58 2d 61 72 67 2d 6c 65 6e 67 74 68 20 22 53 6b 69 70 20 62 65 66 6f 72	unt".(TeX-arg-length."Skip.befor
1420	65 20 74 68 65 6f 72 65 6d 22 29 29 20 28 22 74 68 65 6f 72 65 6d 70 6f 73 74 73 6b 69 70 61 6d	e.theorem")).("theorempostskipam
1440	6f 75 6e 74 22 20 28 54 65 58 2d 61 72 67 2d 6c 65 6e 67 74 68 20 22 53 6b 69 70 20 61 66 74 65	ount".(TeX-arg-length."Skip.afte
1460	72 20 74 68 65 6f 72 65 6d 22 29 29 20 66 65 61 74 75 72 65 70 20 66 6f 6e 74 2d 6c 61 74 65 78	r.theorem")).featurep.font-latex
1480	20 66 6f 6e 74 2d 6c 61 74 65 78 2d 73 65 74 75 70 20 66 6f 6e 74 2d 6c 61 74 65 78 2d 61 64 64	.font-latex-setup.font-latex-add
14a0	2d 6b 65 79 77 6f 72 64 73 20 28 28 22 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20 22 7b 22 29 20	-keywords.(("theoremstyle"."{").
14c0	28 22 74 68 65 6f 72 65 6d 62 6f 64 79 66 6f 6e 74 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65	("theorembodyfont"."{").("theore
14e0	6d 68 65 61 64 65 72 66 6f 6e 74 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 70 72 65 73 6b	mheaderfont"."{").("theorempresk
1500	69 70 61 6d 6f 75 6e 74 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 70 6f 73 74 73 6b 69 70	ipamount"."{").("theorempostskip
1520	61 6d 6f 75 6e 74 22 20 22 7b 22 29 29 20 66 75 6e 63 74 69 6f 6e 5d 20 37 5d 5d 20 34 29 0a 23	amount"."{")).function].7]].4).#
1540	40 34 32 20 50 61 63 6b 61 67 65 20 6f 70 74 69 6f 6e 73 20 66 6f 72 20 74 68 65 20 74 68 65 6f	@42.Package.options.for.the.theo
1560	72 65 6d 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 65 6f	rem.package...(defvar.LaTeX-theo
1580	72 65 6d 2d 70 61 63 6b 61 67 65 2d 6f 70 74 69 6f 6e 73 20 6e 69 6c 20 28 23 24 20 2e 20 35 34	rem-package-options.nil.(#$...54
15a0	34 34 29 29 0a	44)).