blob: be4b50f53aa07ffa201cae749f36cbc4822b234a (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 30 37 22 20 5b 72 65 71 75 69 72 65 20	301!\210\300\302!\207".[require.
0080	74 65 78 20 6c 61 74 65 78 5d 20 32 29 0a 23 40 34 31 20 50 61 63 6b 61 67 65 20 6f 70 74 69 6f	tex.latex].2).#@41.Package.optio
00a0	6e 73 20 66 6f 72 20 74 68 65 20 61 6d 73 74 68 6d 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66	ns.for.the.amsthm.package...(def
00c0	76 61 72 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 70 61 63 6b 61 67 65 2d 6f 70 74 69 6f 6e 73	var.LaTeX-amsthm-package-options
00e0	20 6e 69 6c 20 28 23 24 20 2e 20 31 34 37 29 29 0a 23 40 35 39 20 4c 69 73 74 20 6f 66 20 66 6f	.nil.(#$...147)).#@59.List.of.fo
0100	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 6f 72 20 22 5c 6e 65	nt.declaration.commands.for."\ne
0120	77 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 61	wtheoremstyle"...(defvar.LaTeX-a
0140	6d 73 74 68 6d 2d 66 6f 6e 74 64 65 63 6c 20 27 28 22 72 6d 66 61 6d 69 6c 79 22 20 22 73 66 66	msthm-fontdecl.'("rmfamily"."sff
0160	61 6d 69 6c 79 22 20 22 74 74 66 61 6d 69 6c 79 22 20 22 6d 64 73 65 72 69 65 73 22 20 22 62 66	amily"."ttfamily"."mdseries"."bf
0180	73 65 72 69 65 73 22 20 22 75 70 73 68 61 70 65 22 20 22 69 74 73 68 61 70 65 22 20 22 73 6c 73	series"."upshape"."itshape"."sls
01a0	68 61 70 65 22 20 22 73 63 73 68 61 70 65 22 20 22 74 69 6e 79 22 20 22 73 63 72 69 70 74 73 69	hape"."scshape"."tiny"."scriptsi
01c0	7a 65 22 20 22 66 6f 6f 74 6e 6f 74 65 73 69 7a 65 22 20 22 73 6d 61 6c 6c 22 20 22 6e 6f 72 6d	ze"."footnotesize"."small"."norm
01e0	61 6c 73 69 7a 65 22 20 22 6c 61 72 67 65 22 20 22 4c 61 72 67 65 22 20 22 4c 41 52 47 45 22 20	alsize"."large"."Large"."LARGE".
0200	22 68 75 67 65 22 20 22 48 75 67 65 22 20 22 6e 6f 72 6d 61 6c 66 6f 6e 74 22 29 20 28 23 24 20	"huge"."Huge"."normalfont").(#$.
0220	2e 20 32 34 36 29 29 0a 23 40 32 30 33 20 50 72 6f 6d 70 74 20 66 6f 72 20 66 6f 6e 74 20 64 65	..246)).#@203.Prompt.for.font.de
0240	63 6c 61 72 61 74 69 6f 6e 20 63 6f 6d 6d 61 6e 64 73 20 69 6e 20 22 5c 6e 65 77 74 68 65 6f 72	claration.commands.in."\newtheor
0260	65 6d 73 74 79 6c 65 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	emstyle"..If.OPTIONAL.is.non-nil
0280	2c 20 69 6e 73 65 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	,.insert.the.resulting.value.as.
02a0	61 6e 20 6f 70 74 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	an.optional.argument...Use.PROMP
02c0	54 20 61 73 20 74 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	T.as.the.prompt.string...(fn.OPT
02e0	49 4f 4e 41 4c 20 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	IONAL.&optional.PROMPT)..(defali
0300	61 73 20 27 4c 61 54 65 58 2d 61 72 67 2d 61 6d 73 74 68 6d 2d 66 6f 6e 74 64 65 63 6c 20 23 5b	as.'LaTeX-arg-amsthm-fontdecl.#[
0320	35 31 33 20 22 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	513."\303.!.\304\305\306\307..\3
0340	31 30 5c 33 31 31 24 5c 6e 5c 22 08 23 5c 33 31 32 01 04 03 5c 32 30 35 20 00 03 5c 33 31 33 5c	10\311$\n\".#\312...\205...\313\
0360	32 33 30 3f 5c 32 30 35 20 00 08 23 29 5c 32 30 37 22 20 5b 54 65 58 2d 65 73 63 20 63 72 6d 2d	230?\205...#)\207".[TeX-esc.crm-
0380	73 65 70 61 72 61 74 6f 72 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 66 6f 6e 74 64 65 63 6c 20	separator.LaTeX-amsthm-fontdecl.
03a0	72 65 67 65 78 70 2d 71 75 6f 74 65 20 6d 61 70 63 6f 6e 63 61 74 20 69 64 65 6e 74 69 74 79 20	regexp-quote.mapconcat.identity.
03c0	54 65 58 2d 63 6f 6d 70 6c 65 74 69 6e 67 2d 72 65 61 64 2d 6d 75 6c 74 69 70 6c 65 20 54 65 58	TeX-completing-read-multiple.TeX
03e0	2d 61 72 67 75 6d 65 6e 74 2d 70 72 6f 6d 70 74 20 22 46 6f 6e 74 3a 20 5c 5c 22 20 74 20 54 65	-argument-prompt."Font:.\\".t.Te
0400	58 2d 61 72 67 75 6d 65 6e 74 2d 69 6e 73 65 72 74 20 22 22 5d 20 31 30 20 28 23 24 20 2e 20 35	X-argument-insert.""].10.(#$...5
0420	35 38 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 4e 54 2c 20	58)]).#@550.Insert.ENVIRONMENT,.
0440	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 6e 74 20 61	query.for.an.optional.argument.a
0460	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 20 75 73 65	nd.prompt.for.label...AUCTeX.use
0480	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 0a 60 4c 61	rs.should.add.ENVIRONMENT.to.`La
04a0	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 7a 65 20 6f	TeX-label-alist'.via.customize.o
04c0	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 2d 74 6f 2d	r.in.init-file.with:....(add-to-
04e0	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 27 28 22 6c	list.\='LaTeX-label-alist.\='("l
0500	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 72 73 20 73	emma"..."lem:"))..RefTeX.users.s
0520	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 4f 4e 4d 45	hould.customize.or.add.ENVIRONME
0540	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 64 20 60 72	NT.to.`LaTeX-label-alist'.and.`r
0560	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 70 6c 65 0a	eftex-label-alist',.for.example.
0580	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 65 6c 2d 61	...(add-to-list.\='LaTeX-label-a
05a0	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 20 20 28 61	list.\='("lemma"..."lem:"))...(a
05c0	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 6c 69 73 74	dd-to-list.\='reftex-label-alist
05e0	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 3f 6d 20 22	................\='("lemma".?m."
0600	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 20 20 20 20	lem:"."~\ref{%s}"...............
0620	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 29 29 0a 0a	...nil.("Lemma"."lemma").nil))..
0640	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 27 4c 61 54	(fn.ENVIRONMENT)..(defalias.'LaT
0660	65 58 2d 61 6d 73 74 68 6d 2d 65 6e 76 2d 6c 61 62 65 6c 20 23 5b 32 35 37 20 22 5c 33 30 30 5c	eX-amsthm-env-label.#[257."\300\
0680	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 18 00 02 5c 33	301\302\303\304#!\305..\205...\3
06a0	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 32 36 36 02 5c	06\230?\205..\307\310.\"\"\266.\
06c0	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 31 34 20 5c 32	311.\312\"\205'.\313.\210\314.\2
06e0	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 67 75 6d 65 6e	07".[TeX-read-string.TeX-argumen
0700	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 54 65 58 2d 69	t-prompt.t.nil."Heading".LaTeX-i
0720	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 20 22 5b 25 73	nsert-environment."".format."[%s
0740	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 4c 61 54 65 58	]".LaTeX-label.environment.LaTeX
0760	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 6f 2d 6d 6f 64	-newline.indent-according-to-mod
0780	65 5d 20 37 20 28 23 24 20 2e 20 31 30 36 38 29 5d 29 0a 23 40 39 35 20 49 6e 66 6f 72 6d 61 74	e].7.(#$...1068)]).#@95.Informat
07a0	69 6f 6e 20 61 62 6f 75 74 20 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 69 6e 20	ion.about.amsthm-newtheorems.in.
07c0	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
07e0	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 20 4c	.`TeX-auto-add-type'...(defvar.L
0800	61 54 65 58 2d 61 75 74 6f 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 20 6e 69 6c 20	aTeX-auto-amsthm-newtheorem.nil.
0820	28 23 24 20 2e 20 31 39 34 34 29 29 0a 23 40 39 35 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62	(#$...1944)).#@95.Information.ab
0840	6f 75 74 20 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 69 6e 20 74 68 65 20 63 75	out.amsthm-newtheorems.in.the.cu
0860	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-
0880	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 61	auto-add-type'...(defvar.LaTeX-a
08a0	6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 6e 69 6c 20 28 23 24 20 2e 20	msthm-newtheorem-list.nil.(#$...
08c0	32 30 39 38 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66 66 65 72 2d 6c 6f 63	2098)).(make-variable-buffer-loc
08e0	61 6c 20 27 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74	al.'LaTeX-amsthm-newtheorem-list
0900	29 0a 23 40 39 35 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 61 6d 73 74 68 6d 2d	).#@95.Information.about.amsthm-
0920	6e 65 77 74 68 65 6f 72 65 6d 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65	newtheorems.in.the.current.buffe
0940	72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79	r..Generated.by.`TeX-auto-add-ty
0960	70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68	pe'...(defvar.LaTeX-amsthm-newth
0980	65 6f 72 65 6d 2d 63 68 61 6e 67 65 64 20 6e 69 6c 20 28 23 24 20 2e 20 32 33 31 31 29 29 0a 28	eorem-changed.nil.(#$...2311)).(
09a0	6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66 66 65 72 2d 6c 6f 63 61 6c 20 27 4c 61 54 65	make-variable-buffer-local.'LaTe
09c0	58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 63 68 61 6e 67 65 64 29 0a 23 40 31	X-amsthm-newtheorem-changed).#@1
09e0	33 30 20 41 64 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 41 4d 53 54 48 4d 2d	30.Add.information.about.AMSTHM-
0a00	4e 45 57 54 48 45 4f 52 45 4d 53 20 74 6f 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65	NEWTHEOREMS.to.the.current.buffe
0a20	72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79	r..Generated.by.`TeX-auto-add-ty
0a40	70 65 27 2e 0a 0a 28 66 6e 20 26 72 65 73 74 20 41 4d 53 54 48 4d 2d 4e 45 57 54 48 45 4f 52 45	pe'...(fn.&rest.AMSTHM-NEWTHEORE
0a60	4d 53 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 64 64 2d 61 6d 73 74 68 6d	MS)..(defalias.'LaTeX-add-amsthm
0a80	2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 23 5b 31 32 38 20 22 5c 33 30 30 5c 33 30 31 02 5c 22 5c	-newtheorems.#[128."\300\301.\"\
0aa0	32 30 37 22 20 5b 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22	207".[TeX-auto-add-information."
0ac0	61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 22 5d 20 34 20 28 23 24 20 2e 20 32 35 33 31	amsthm-newtheorem"].4.(#$...2531
0ae0	29 5d 29 0a 23 40 39 32 20 4c 69 73 74 20 6f 66 20 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72	)]).#@92.List.of.amsthm-newtheor
0b00	65 6d 73 20 61 63 74 69 76 65 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72	ems.active.in.the.current.buffer
0b20	2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70	..Generated.by.`TeX-auto-add-typ
0b40	65 27 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77	e'...(defalias.'LaTeX-amsthm-new
0b60	74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 23 5b 30 20 22 5c 33 30 30 5c 33 30 31 21 5c 32 30 37 22	theorem-list.#[0."\300\301!\207"
0b80	20 5b 54 65 58 2d 61 75 74 6f 2d 6c 69 73 74 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 61 6d 73	.[TeX-auto-list-information."ams
0ba0	74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 22 5d 20 32 20 28 23 24 20 2e 20 32 37 39 33 29 5d 29	thm-newtheorem"].2.(#$...2793)])
0bc0	0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 5c 33 30 33 23 5c 32	.(byte-code."\300\301\302\303#\2
0be0	31 30 5c 33 30 34 5c 33 30 35 5c 33 30 36 5c 22 5c 32 30 37 22 20 5b 61 64 64 2d 74 6f 2d 6c 69	10\304\305\306\"\207".[add-to-li
0c00	73 74 20 54 65 58 2d 61 75 74 6f 2d 70 61 72 73 65 72 20 28 22 61 6d 73 74 68 6d 2d 6e 65 77 74	st.TeX-auto-parser.("amsthm-newt
0c20	68 65 6f 72 65 6d 22 20 4c 61 54 65 58 2d 61 75 74 6f 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65	heorem".LaTeX-auto-amsthm-newthe
0c40	6f 72 65 6d 20 4c 61 54 65 58 2d 61 64 64 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	orem.LaTeX-add-amsthm-newtheorem
0c60	73 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 4c	s.LaTeX-amsthm-newtheorem-list.L
0c80	61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 63 68 61 6e 67 65 64 29 20	aTeX-amsthm-newtheorem-changed).
0ca0	74 20 61 64 64 2d 68 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	t.add-hook.TeX-remove-style-hook
0cc0	20 23 5b 30 20 22 5c 33 30 31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 61 6d 73 74	.#[0."\301\211.\207".[LaTeX-amst
0ce0	68 6d 2d 6e 65 77 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	hm-newtheorem-list.nil].2]].4).#
0d00	40 31 30 30 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 61 6d 73 74 68 6d 2d 6e 65	@100.Information.about.amsthm-ne
0d20	77 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75	wtheoremstyles.in.the.current.bu
0d40	66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64	ffer..Generated.by.`TeX-auto-add
0d60	2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 61 75 74 6f 2d 61 6d 73 74	-type'...(defvar.LaTeX-auto-amst
0d80	68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 6e 69 6c 20 28 23 24 20 2e 20 33 33 33	hm-newtheoremstyle.nil.(#$...333
0da0	33 29 29 0a 23 40 31 30 30 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 61 6d 73 74	3)).#@100.Information.about.amst
0dc0	68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 69 6e 20 74 68 65 20 63 75 72 72 65	hm-newtheoremstyles.in.the.curre
0de0	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 61 75 74	nt.buffer..Generated.by.`TeX-aut
0e00	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 61 6d 73 74	o-add-type'...(defvar.LaTeX-amst
0e20	68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 6e 69 6c 20 28 23 24 20	hm-newtheoremstyle-list.nil.(#$.
0e40	2e 20 33 34 39 38 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66 66 65 72 2d 6c	..3498)).(make-variable-buffer-l
0e60	6f 63 61 6c 20 27 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79	ocal.'LaTeX-amsthm-newtheoremsty
0e80	6c 65 2d 6c 69 73 74 29 0a 23 40 31 30 30 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74	le-list).#@100.Information.about
0ea0	20 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 69 6e 20 74 68 65 20	.amsthm-newtheoremstyles.in.the.
0ec0	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 65	current.buffer..Generated.by.`Te
0ee0	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 20 4c 61 54 65 58	X-auto-add-type'...(defvar.LaTeX
0f00	2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 63 68 61 6e 67 65 64 20	-amsthm-newtheoremstyle-changed.
0f20	6e 69 6c 20 28 23 24 20 2e 20 33 37 32 37 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d	nil.(#$...3727)).(make-variable-
0f40	62 75 66 66 65 72 2d 6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68	buffer-local.'LaTeX-amsthm-newth
0f60	65 6f 72 65 6d 73 74 79 6c 65 2d 63 68 61 6e 67 65 64 29 0a 23 40 31 34 30 20 41 64 64 20 69 6e	eoremstyle-changed).#@140.Add.in
0f80	66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 41 4d 53 54 48 4d 2d 4e 45 57 54 48 45 4f 52 45	formation.about.AMSTHM-NEWTHEORE
0fa0	4d 53 54 59 4c 45 53 20 74 6f 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47	MSTYLES.to.the.current.buffer..G
0fc0	65 6e 65 72 61 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	enerated.by.`TeX-auto-add-type'.
0fe0	0a 0a 28 66 6e 20 26 72 65 73 74 20 41 4d 53 54 48 4d 2d 4e 45 57 54 48 45 4f 52 45 4d 53 54 59	..(fn.&rest.AMSTHM-NEWTHEOREMSTY
1000	4c 45 53 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 64 64 2d 61 6d 73 74 68	LES)..(defalias.'LaTeX-add-amsth
1020	6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 23 5b 31 32 38 20 22 5c 33 30 30 5c 33	m-newtheoremstyles.#[128."\300\3
1040	30 31 02 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 69 6e 66 6f 72 6d 61	01.\"\207".[TeX-auto-add-informa
1060	74 69 6f 6e 20 22 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 5d 20 34	tion."amsthm-newtheoremstyle"].4
1080	20 28 23 24 20 2e 20 33 39 36 32 29 5d 29 0a 23 40 39 37 20 4c 69 73 74 20 6f 66 20 61 6d 73 74	.(#$...3962)]).#@97.List.of.amst
10a0	68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 61 63 74 69 76 65 20 69 6e 20 74 68	hm-newtheoremstyles.active.in.th
10c0	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 20 60	e.current.buffer..Generated.by.`
10e0	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 20 27	TeX-auto-add-type'...(defalias.'
1100	4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73	LaTeX-amsthm-newtheoremstyle-lis
1120	74 20 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	t.#[0."\300\301!\207".[TeX-auto-
1140	6c 69 73 74 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f	list-information."amsthm-newtheo
1160	72 65 6d 73 74 79 6c 65 22 5d 20 32 20 28 23 24 20 2e 20 34 32 34 34 29 5d 29 0a 28 62 79 74 65	remstyle"].2.(#$...4244)]).(byte
1180	2d 63 6f 64 65 20 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	-code."\300\301\302\303#\210\304
11a0	5c 33 30 35 5c 33 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	\305\306\"\207".[add-to-list.TeX
11c0	2d 61 75 74 6f 2d 70 61 72 73 65 72 20 28 22 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	-auto-parser.("amsthm-newtheorem
11e0	73 74 79 6c 65 22 20 4c 61 54 65 58 2d 61 75 74 6f 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f	style".LaTeX-auto-amsthm-newtheo
1200	72 65 6d 73 74 79 6c 65 20 4c 61 54 65 58 2d 61 64 64 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65	remstyle.LaTeX-add-amsthm-newthe
1220	6f 72 65 6d 73 74 79 6c 65 73 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72	oremstyles.LaTeX-amsthm-newtheor
1240	65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65	emstyle-list.LaTeX-amsthm-newthe
1260	6f 72 65 6d 73 74 79 6c 65 2d 63 68 61 6e 67 65 64 29 20 74 20 61 64 64 2d 68 6f 6f 6b 20 54 65	oremstyle-changed).t.add-hook.Te
1280	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 33 30 31 5c 32 31	X-remove-style-hook.#[0."\301\21
12a0	31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	1.\207".[LaTeX-amsthm-newtheorem
12c0	73 74 79 6c 65 2d 6c 69 73 74 20 6e 69 6c 5d 20 32 5d 5d 20 34 29 0a 23 40 39 34 20 43 6c 65 61	style-list.nil].2]].4).#@94.Clea
12e0	72 20 60 4c 61 54 65 58 2d 61 75 74 6f 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 27	r.`LaTeX-auto-amsthm-newtheorem'
1300	20 61 6e 64 0a 60 4c 61 54 65 58 2d 61 75 74 6f 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72	.and.`LaTeX-auto-amsthm-newtheor
1320	65 6d 73 74 79 6c 65 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	emstyle'.before.parsing...(defal
1340	69 61 73 20 27 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 61 75 74 6f 2d 70 72 65 70 61 72 65 20 23	ias.'LaTeX-amsthm-auto-prepare.#
1360	5b 30 20 22 5c 33 30 32 5c 32 31 31 10 5c 32 31 31 11 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 61	[0."\302\211.\211.\207".[LaTeX-a
1380	75 74 6f 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 20 4c 61 54 65 58 2d 61 75 74 6f	uto-amsthm-newtheorem.LaTeX-auto
13a0	2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 6e 69 6c 5d 20 33 20 28	-amsthm-newtheoremstyle.nil].3.(
13c0	23 24 20 2e 20 34 38 32 38 29 5d 29 0a 23 40 31 30 32 20 4d 6f 76 65 20 70 61 72 73 65 64 20 72	#$...4828)]).#@102.Move.parsed.r
13e0	65 73 75 6c 74 73 20 66 72 6f 6d 20 60 4c 61 54 65 58 2d 61 75 74 6f 2d 61 6d 73 74 68 6d 2d 6e	esults.from.`LaTeX-auto-amsthm-n
1400	65 77 74 68 65 6f 72 65 6d 27 20 61 6e 64 0a 6d 61 6b 65 20 74 68 65 6d 20 61 76 61 69 6c 61 62	ewtheorem'.and.make.them.availab
1420	6c 65 20 61 73 20 6e 65 77 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 2e 1f 0a 28 64 65 66 61 6c 69	le.as.new.environments...(defali
1440	61 73 20 27 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 20 23 5b	as.'LaTeX-amsthm-auto-cleanup.#[
1460	30 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 20 5c 22 5c 32 31 31 5c 32 30 35 18 00 5c 32 31 31	0."\300\301\302.\"\211\205..\211
1480	40 5c 33 30 33 01 5c 33 30 34 44 21 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 32 05 00	@\303.\304D!\210.A\266\202\202..
14a0	5c 32 30 37 22 20 5b 6d 61 70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e	\207".[mapcar.car.LaTeX-amsthm-n
14c0	65 77 74 68 65 6f 72 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	ewtheorem-list.LaTeX-add-environ
14e0	6d 65 6e 74 73 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 65 6e 76 2d 6c 61 62 65 6c 5d 20 35 20	ments.LaTeX-amsthm-env-label].5.
1500	28 23 24 20 2e 20 35 30 37 35 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 31 5c 33	(#$...5075)]).(byte-code."\301\3
1520	30 32 5c 33 30 33 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	02\303\304#\210\301\305\306\304#
1540	5c 32 31 30 5c 33 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	\210\301\307\310\304#\210\311\31
1560	32 5c 33 31 33 08 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	2\313.#\207".[TeX-dialect.add-ho
1580	6f 6b 20 54 65 58 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 61	ok.TeX-auto-prepare-hook.LaTeX-a
15a0	6d 73 74 68 6d 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	msthm-auto-prepare.t.TeX-auto-cl
15c0	65 61 6e 75 70 2d 68 6f 6f 6b 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 61 75 74 6f 2d 63 6c 65	eanup-hook.LaTeX-amsthm-auto-cle
15e0	61 6e 75 70 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	anup.TeX-update-style-hook.TeX-a
1600	75 74 6f 2d 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 61 6d	uto-parse.TeX-add-style-hook."am
1620	73 74 68 6d 22 20 23 5b 30 20 22 5c 33 30 32 5c 33 30 33 5c 33 30 34 5c 33 30 35 23 5c 32 31 30	sthm".#[0."\302\303\304\305#\210
1640	5c 33 30 36 5c 33 30 37 21 5c 32 31 30 5c 33 31 30 5c 33 31 31 5c 33 31 32 5c 33 31 33 5c 33 31	\306\307!\210\310\311\312\313\31
1660	34 5c 33 31 35 5c 33 31 36 26 06 5c 32 31 30 5c 33 31 37 5c 33 32 30 08 5c 33 32 31 51 5c 33 32	4\315\316&.\210\317\320.\321Q\32
1680	32 42 21 5c 32 31 30 5c 33 31 37 5c 33 32 33 08 5c 33 32 31 51 5c 33 32 34 42 21 5c 32 31 30 5c	2B!\210\317\323.\321Q\324B!\210\
16a0	33 32 35 5c 33 32 36 21 5c 32 30 35 36 00 09 5c 33 32 37 3d 5c 32 30 35 36 00 5c 33 33 30 5c 33	325\326!\2056..\327=\2056.\330\3
16c0	33 31 5c 33 33 32 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 74 6f 6b 65 6e 2d 63 68 61 72 20 54 65	31\332\"\207".[TeX-token-char.Te
16e0	58 2d 69 6e 73 74 61 6c 6c 2d 66 6f 6e 74 2d 6c 6f 63 6b 20 4c 61 54 65 58 2d 61 64 64 2d 61 6d	X-install-font-lock.LaTeX-add-am
1700	73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 22 64 65 66 69 6e 69 74 69 6f	sthm-newtheoremstyles."definitio
1720	6e 22 20 22 70 6c 61 69 6e 22 20 22 72 65 6d 61 72 6b 22 20 4c 61 54 65 58 2d 61 64 64 2d 65 6e	n"."plain"."remark".LaTeX-add-en
1740	76 69 72 6f 6e 6d 65 6e 74 73 20 28 22 70 72 6f 6f 66 22 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d	vironments.("proof".LaTeX-amsthm
1760	2d 65 6e 76 2d 6c 61 62 65 6c 29 20 54 65 58 2d 61 64 64 2d 73 79 6d 62 6f 6c 73 20 28 22 6e 65	-env-label).TeX-add-symbols.("ne
1780	77 74 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	wtheorem".(TeX-arg-eval.(lambda.
17a0	6e 69 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	nil.(let.((nthm.(TeX-read-string
17c0	20 28 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	.(TeX-argument-prompt.nil.nil."E
17e0	6e 76 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 61 6d 73 74 68	nvironment")))).(LaTeX-add-amsth
1800	6d 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	m-newtheorems.nthm).(LaTeX-add-e
1820	6e 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 61	nvironments.(list.nthm.#'LaTeX-a
1840	6d 73 74 68 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	msthm-env-label)).(format."%s".n
1860	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
1880	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
18a0	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
18c0	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))
18e0	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
1900	68 69 6e 20 63 6f 75 6e 74 65 72 22 29 29 20 22 22 29 5d 29 20 28 22 6e 65 77 74 68 65 6f 72 65	hin.counter"))."")]).("newtheore
1920	6d 2a 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 6c 20 28 6c	m*".(TeX-arg-eval.(lambda.nil.(l
1940	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 54 65 58 2d	et.((nthm.(TeX-read-string.(TeX-
1960	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 69 72 6f 6e	argument-prompt.nil.nil."Environ
1980	6d 65 6e 74 22 29 29 29 20 28 68 65 61 64 69 6e 67 20 28 54 65 58 2d 72 65 61 64 2d 73 74 72 69	ment"))).(heading.(TeX-read-stri
19a0	6e 67 20 28 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	ng.(TeX-argument-prompt.nil.nil.
19c0	22 48 65 61 64 69 6e 67 22 29 29 29 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 61 6d 73 74 68 6d 2d	"Heading")))).(LaTeX-add-amsthm-
19e0	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 76	newtheorems.nthm).(LaTeX-add-env
1a00	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 61 6d 73	ironments.(list.nthm.#'LaTeX-ams
1a20	74 68 6d 2d 65 6e 76 2d 6c 61 62 65 6c 29 29 20 28 69 6e 73 65 72 74 20 28 63 6f 6e 63 61 74 20	thm-env-label)).(insert.(concat.
1a40	54 65 58 2d 67 72 6f 70 20 6e 74 68 6d 20 54 65 58 2d 67 72 63 6c 29 29 20 28 66 6f 72 6d 61 74	TeX-grop.nthm.TeX-grcl)).(format
1a60	20 22 25 73 22 20 68 65 61 64 69 6e 67 29 29 29 29 29 20 28 22 74 68 65 6f 72 65 6d 73 74 79 6c	."%s".heading))))).("theoremstyl
1a80	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 61 64	e".(TeX-arg-eval.completing-read
1aa0	20 28 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 53	.(TeX-argument-prompt.nil.nil."S
1ac0	74 79 6c 65 22 29 20 28 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73	tyle").(LaTeX-amsthm-newtheorems
1ae0	74 79 6c 65 2d 6c 69 73 74 29 29 29 20 22 71 65 64 68 65 72 65 22 20 22 73 77 61 70 6e 75 6d 62	tyle-list)))."qedhere"."swapnumb
1b00	65 72 73 22 20 28 22 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20 28 54 65 58 2d 61 72 67	ers".("newtheoremstyle".(TeX-arg
1b20	2d 65 76 61 6c 20 28 6c 61 6d 62 64 61 20 6e 69 6c 20 28 6c 65 74 20 28 28 6e 74 68 6d 73 74 79	-eval.(lambda.nil.(let.((nthmsty
1b40	6c 65 20 28 54 65 58 2d 72 65 61 64 2d 73 74 72 69 6e 67 20 28 54 65 58 2d 61 72 67 75 6d 65 6e	le.(TeX-read-string.(TeX-argumen
1b60	74 2d 70 72 6f 6d 70 74 20 6e 69 6c 20 6e 69 6c 20 22 53 74 79 6c 65 20 6e 61 6d 65 22 29 29 29	t-prompt.nil.nil."Style.name")))
1b80	29 20 28 4c 61 54 65 58 2d 61 64 64 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74	).(LaTeX-add-amsthm-newtheoremst
1ba0	79 6c 65 73 20 6e 74 68 6d 73 74 79 6c 65 29 20 28 66 6f 72 6d 61 74 20 22 25 73 22 20 6e 74 68	yles.nthmstyle).(format."%s".nth
1bc0	6d 73 74 79 6c 65 29 29 29 29 20 28 54 65 58 2d 61 72 67 2d 6c 65 6e 67 74 68 20 22 53 70 61 63	mstyle)))).(TeX-arg-length."Spac
1be0	65 20 61 62 6f 76 65 22 29 20 28 54 65 58 2d 61 72 67 2d 6c 65 6e 67 74 68 20 22 53 70 61 63 65	e.above").(TeX-arg-length."Space
1c00	20 62 65 6c 6f 77 22 29 20 28 4c 61 54 65 58 2d 61 72 67 2d 61 6d 73 74 68 6d 2d 66 6f 6e 74 64	.below").(LaTeX-arg-amsthm-fontd
1c20	65 63 6c 20 22 42 6f 64 79 20 66 6f 6e 74 3a 20 5c 5c 22 29 20 22 49 6e 64 65 6e 74 20 61 6d 6f	ecl."Body.font:.\\")."Indent.amo
1c40	75 6e 74 22 20 28 4c 61 54 65 58 2d 61 72 67 2d 61 6d 73 74 68 6d 2d 66 6f 6e 74 64 65 63 6c 20	unt".(LaTeX-arg-amsthm-fontdecl.
1c60	22 54 68 65 6f 72 65 6d 20 68 65 61 64 20 66 6f 6e 74 3a 20 5c 5c 22 29 20 22 50 75 6e 63 74 75	"Theorem.head.font:.\\")."Punctu
1c80	61 74 69 6f 6e 20 61 66 74 65 72 20 68 65 61 64 22 20 28 54 65 58 2d 61 72 67 2d 6c 65 6e 67 74	ation.after.head".(TeX-arg-lengt
1ca0	68 20 22 53 70 61 63 65 20 61 66 74 65 72 20 68 65 61 64 22 29 20 22 54 68 65 6f 72 65 6d 20 68	h."Space.after.head")."Theorem.h
1cc0	65 61 64 20 73 70 65 63 22 29 20 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 72 65 67 65 78 70 20 22	ead.spec").TeX-auto-add-regexp."
1ce0	5c 5c 5c 5c 6e 65 77 74 68 65 6f 72 65 6d 5c 5c 2a 3f 7b 5c 5c 28 22 20 22 2b 5c 5c 29 7d 22 20	\\\\newtheorem\\*?{\\("."+\\)}".
1d00	28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 29	(1.LaTeX-auto-amsthm-newtheorem)
1d20	20 22 5c 5c 5c 5c 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 7b 5c 5c 28 22 20 28 31 20 4c 61	."\\\\newtheoremstyle{\\(".(1.La
1d40	54 65 58 2d 61 75 74 6f 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 29	TeX-auto-amsthm-newtheoremstyle)
1d60	20 66 65 61 74 75 72 65 70 20 66 6f 6e 74 2d 6c 61 74 65 78 20 66 6f 6e 74 2d 6c 61 74 65 78 2d	.featurep.font-latex.font-latex-
1d80	73 65 74 75 70 20 66 6f 6e 74 2d 6c 61 74 65 78 2d 61 64 64 2d 6b 65 79 77 6f 72 64 73 20 28 28	setup.font-latex-add-keywords.((
1da0	22 6e 65 77 74 68 65 6f 72 65 6d 22 20 22 2a 7b 5b 7b 5b 22 29 20 28 22 74 68 65 6f 72 65 6d 73	"newtheorem"."*{[{[").("theorems
1dc0	74 79 6c 65 22 20 22 7b 22 29 20 28 22 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20 22 7b	tyle"."{").("newtheoremstyle"."{
1de0	7b 7b 7b 7b 7b 7b 7b 7b 22 29 29 20 66 75 6e 63 74 69 6f 6e 5d 20 37 5d 5d 20 34 29 0a	{{{{{{{{")).function].7]].4).