blob: 47d93b3819c487145aacbd5d38181588b05f24ba (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 39 36 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	@96.List.of.theorem.styles.provi
00c0	64 65 64 20 62 79 20 60 6e 74 68 65 6f 72 65 6d 2e 65 6c 27 20 61 6e 64 20 6e 65 77 20 6f 6e 65	ded.by.`ntheorem.el'.and.new.one
00e0	73 0a 64 65 66 69 6e 65 64 20 77 69 74 68 20 22 5c 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65	s.defined.with."\newtheoremstyle
0100	22 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 74 68 65 6f 72	"...(defvar.LaTeX-ntheorem-theor
0120	65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 27 28 28 22 70 6c 61 69 6e 22 29 20 28 22 62 72 65 61 6b	emstyle-list.'(("plain").("break
0140	22 29 20 28 22 63 68 61 6e 67 65 22 29 20 28 22 63 68 61 6e 67 65 62 72 65 61 6b 22 29 20 28 22	").("change").("changebreak").("
0160	6d 61 72 67 69 6e 22 29 20 28 22 6d 61 72 67 69 6e 62 72 65 61 6b 22 29 20 28 22 6e 6f 6e 75 6d	margin").("marginbreak").("nonum
0180	62 65 72 70 6c 61 69 6e 22 29 20 28 22 6e 6f 6e 75 6d 62 65 72 62 72 65 61 6b 22 29 20 28 22 65	berplain").("nonumberbreak").("e
01a0	6d 70 74 79 22 29 29 20 28 23 24 20 2e 20 31 36 34 29 29 0a 23 40 31 34 37 20 4c 69 73 74 20 6f	mpty")).(#$...164)).#@147.List.o
01c0	66 20 70 72 65 64 65 66 69 6e 65 64 20 66 6f 72 6d 61 74 74 69 6e 67 20 6f 70 74 69 6f 6e 73 20	f.predefined.formatting.options.
01e0	61 76 61 69 6c 61 62 6c 65 20 66 6f 72 0a 22 5c 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 22	available.for."\theoremlisttype"
0200	20 70 72 6f 76 69 64 65 64 20 62 79 20 60 6e 74 68 65 6f 72 65 6d 2e 65 6c 27 20 61 6e 64 20 6e	.provided.by.`ntheorem.el'.and.n
0220	65 77 20 6f 6e 65 73 0a 64 65 66 69 6e 65 64 20 77 69 74 68 20 22 5c 6e 65 77 74 68 65 6f 72 65	ew.ones.defined.with."\newtheore
0240	6d 6c 69 73 74 74 79 70 65 22 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f	mlisttype"...(defvar.LaTeX-ntheo
0260	72 65 6d 2d 6c 69 73 74 74 79 70 65 2d 6c 69 73 74 20 27 28 28 22 61 6c 6c 22 29 20 28 22 61 6c	rem-listtype-list.'(("all").("al
0280	6c 6e 61 6d 65 22 29 20 28 22 6f 70 74 22 29 20 28 22 6f 70 74 6e 61 6d 65 22 29 29 20 28 23 24	lname").("opt").("optname")).(#$
02a0	20 2e 20 34 34 32 29 29 0a 23 40 35 39 20 4c 69 73 74 20 6f 66 20 66 6f 6e 74 20 64 65 63 6c 61	...442)).#@59.List.of.font.decla
02c0	72 61 74 69 6f 6e 20 63 6f 6d 6d 61 6e 64 73 20 66 6f 72 20 22 5c 6e 65 77 74 68 65 6f 72 65 6d	ration.commands.for."\newtheorem
02e0	73 74 79 6c 65 22 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d	style"...(defvar.LaTeX-ntheorem-
0300	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 61 6d 69 6c 79 22	fontdecl.'("rmfamily"."sffamily"
0320	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 73 65 72 69 65 73	."ttfamily"."mdseries"."bfseries
0340	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 68 61 70 65 22 20	"."upshape"."itshape"."slshape".
0360	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 7a 65 22 20 22 66	"scshape"."tiny"."scriptsize"."f
0380	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 61 6c 73 69 7a 65	ootnotesize"."small"."normalsize
03a0	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 22 68 75 67 65 22	"."large"."Large"."LARGE"."huge"
03c0	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 2e 20 36 38 36 29	."Huge"."normalfont").(#$...686)
03e0	29 0a 23 40 32 31 32 20 50 72 6f 6d 70 74 20 66 6f 72 20 66 6f 6e 74 20 64 65 63 6c 61 72 61 74	).#@212.Prompt.for.font.declarat
0400	69 6f 6e 20 63 6f 6d 6d 61 6e 64 73 20 69 6e 20 22 5c 74 68 65 6f 72 65 6d 28 62 6f 64 79 7c 68	ion.commands.in."\theorem(body|h
0420	65 61 64 65 72 29 66 6f 6e 74 22 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d	eader)font"..If.OPTIONAL.is.non-
0440	6e 69 6c 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	nil,.insert.the.resulting.value.
0460	61 73 20 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	as.an.optional.argument...Use.PR
0480	4f 4d 50 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	OMPT.as.the.prompt.string...(fn.
04a0	4f 50 54 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	OPTIONAL.&optional.PROMPT)..(def
04c0	61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 72 67 2d 6e 74 68 65 6f 72 65 6d 2d 66 6f 6e 74 64 65	alias.'LaTeX-arg-ntheorem-fontde
04e0	63 6c 20 23 5b 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	cl.#[513."\303.!.\304\305\306\30
0500	37 05 05 5c 33 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	7..\310\311$\n\".#\312...\205...
0520	5c 33 31 33 5c 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	\313\230?\205...#)\207".[TeX-esc
0540	20 63 72 6d 2d 73 65 70 61 72 61 74 6f 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 66 6f	.crm-separator.LaTeX-ntheorem-fo
0560	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 69 64	ntdecl.regexp-quote.mapconcat.id
0580	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 74 69	entity.TeX-completing-read-multi
05a0	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 20 64 65	ple.TeX-argument-prompt."Font.de
05c0	63 6c 61 72 61 74 69 6f 6e 3a 20 5c 5c 22 20 74 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 69 6e	claration:.\\".t.TeX-argument-in
05e0	73 65 72 74 20 22 22 5d 20 31 30 20 28 23 24 20 2e 20 31 30 30 30 29 5d 29 0a 23 40 35 35 30 20	sert.""].10.(#$...1000)]).#@550.
0600	49 6e 73 65 72 74 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 2c 20 71 75 65 72 79 20 66 6f 72 20 61 6e	Insert.ENVIRONMENT,.query.for.an
0620	20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75 6d 65 6e 74 20 61 6e 64 20 70 72 6f 6d 70 74 0a 66 6f	.optional.argument.and.prompt.fo
0640	72 20 6c 61 62 65 6c 2e 20 20 41 55 43 54 65 58 20 75 73 65 72 73 20 73 68 6f 75 6c 64 20 61 64	r.label...AUCTeX.users.should.ad
0660	64 20 45 4e 56 49 52 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	d.ENVIRONMENT.to.`LaTeX-label-al
0680	69 73 74 27 20 76 69 61 20 63 75 73 74 6f 6d 69 7a 65 20 6f 72 20 69 6e 20 69 6e 69 74 2d 66 69	ist'.via.customize.or.in.init-fi
06a0	6c 65 20 77 69 74 68 3a 0a 0a 20 20 28 61 64 64 2d 74 6f 2d 6c 69 73 74 20 5c 3d 27 4c 61 54 65	le.with:....(add-to-list.\='LaTe
06c0	58 2d 6c 61 62 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	X-label-alist.\='("lemma"..."lem
06e0	3a 22 29 29 0a 0a 52 65 66 54 65 58 20 75 73 65 72 73 20 73 68 6f 75 6c 64 20 63 75 73 74 6f 6d	:"))..RefTeX.users.should.custom
0700	69 7a 65 20 6f 72 20 61 64 64 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 20 74 6f 0a 60 4c 61 54 65 58	ize.or.add.ENVIRONMENT.to.`LaTeX
0720	2d 6c 61 62 65 6c 2d 61 6c 69 73 74 27 20 61 6e 64 20 60 72 65 66 74 65 78 2d 6c 61 62 65 6c 2d	-label-alist'.and.`reftex-label-
0740	61 6c 69 73 74 27 2c 20 66 6f 72 20 65 78 61 6d 70 6c 65 0a 0a 20 20 28 61 64 64 2d 74 6f 2d 6c	alist',.for.example....(add-to-l
0760	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 65	ist.\='LaTeX-label-alist.\='("le
0780	6d 6d 61 22 20 2e 20 22 6c 65 6d 3a 22 29 29 0a 20 20 28 61 64 64 2d 74 6f 2d 6c 69 73 74 20 5c	mma"..."lem:"))...(add-to-list.\
07a0	3d 27 72 65 66 74 65 78 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 0a 20 20 20 20 20 20 20 20 20 20 20	='reftex-label-alist............
07c0	20 20 20 20 5c 3d 27 28 22 6c 65 6d 6d 61 22 20 3f 6d 20 22 6c 65 6d 3a 22 20 22 7e 5c 72 65 66	....\='("lemma".?m."lem:"."~\ref
07e0	7b 25 73 7d 22 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 6e 69 6c 20 28 22 4c 65 6d	{%s}"..................nil.("Lem
0800	6d 61 22 20 22 6c 65 6d 6d 61 22 29 20 6e 69 6c 29 29 0a 0a 28 66 6e 20 45 4e 56 49 52 4f 4e 4d	ma"."lemma").nil))..(fn.ENVIRONM
0820	45 4e 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d	ENT)..(defalias.'LaTeX-ntheorem-
0840	65 6e 76 2d 6c 61 62 65 6c 20 23 5b 32 35 37 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 5c 33 30	env-label.#[257."\300\301\302\30
0860	33 5c 33 30 34 23 21 5c 33 30 35 02 02 5c 32 30 35 18 00 02 5c 33 30 36 5c 32 33 30 3f 5c 32 30	3\304#!\305..\205...\306\230?\20
0880	35 18 00 5c 33 30 37 5c 33 31 30 04 5c 22 5c 22 5c 32 36 36 02 5c 33 31 31 01 5c 33 31 32 5c 22	5..\307\310.\"\"\266.\311.\312\"
08a0	5c 32 30 35 27 00 5c 33 31 33 20 5c 32 31 30 5c 33 31 34 20 5c 32 30 37 22 20 5b 54 65 58 2d 72	\205'.\313.\210\314.\207".[TeX-r
08c0	65 61 64 2d 73 74 72 69 6e 67 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72 6f 6d 70 74 20 74	ead-string.TeX-argument-prompt.t
08e0	20 6e 69 6c 20 22 48 65 61 64 69 6e 67 22 20 4c 61 54 65 58 2d 69 6e 73 65 72 74 2d 65 6e 76 69	.nil."Heading".LaTeX-insert-envi
0900	72 6f 6e 6d 65 6e 74 20 22 22 20 66 6f 72 6d 61 74 20 22 5b 25 73 5d 22 20 4c 61 54 65 58 2d 6c	ronment."".format."[%s]".LaTeX-l
0920	61 62 65 6c 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 4c 61 54 65 58 2d 6e 65 77 6c 69 6e 65 20 69	abel.environment.LaTeX-newline.i
0940	6e 64 65 6e 74 2d 61 63 63 6f 72 64 69 6e 67 2d 74 6f 2d 6d 6f 64 65 5d 20 37 20 28 23 24 20 2e	ndent-according-to-mode].7.(#$..
0960	20 31 35 33 36 29 5d 29 0a 23 40 39 37 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20	.1536)]).#@97.Information.about.
0980	6e 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 72 72	ntheorem-newtheorems.in.the.curr
09a0	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 61 75	ent.buffer..Generated.by.`TeX-au
09c0	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 75 74	to-add-type'...(defvar.LaTeX-aut
09e0	6f 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 20 6e 69 6c 20 28 23 24 20 2e 20	o-ntheorem-newtheorem.nil.(#$...
0a00	32 34 31 34 29 29 0a 23 40 39 37 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 6e 74	2414)).#@97.Information.about.nt
0a20	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 72 72 65 6e	heorem-newtheorems.in.the.curren
0a40	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 6f	t.buffer..Generated.by.`TeX-auto
0a60	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 6e 74 68 65 6f	-add-type'...(defvar.LaTeX-ntheo
0a80	72 65 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 32 35	rem-newtheorem-list.nil.(#$...25
0aa0	37 32 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 61 6c	72)).(make-variable-buffer-local
0ac0	20 27 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74	.'LaTeX-ntheorem-newtheorem-list
0ae0	29 0a 23 40 39 37 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 6e 74 68 65 6f 72 65	).#@97.Information.about.ntheore
0b00	6d 2d 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	m-newtheorems.in.the.current.buf
0b20	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 2d	fer..Generated.by.`TeX-auto-add-
0b40	74 79 70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e	type'...(defvar.LaTeX-ntheorem-n
0b60	65 77 74 68 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 37 39 31	ewtheorem-changed.nil.(#$...2791
0b80	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 61 6c 20 27	)).(make-variable-buffer-local.'
0ba0	4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 63 68 61 6e 67 65	LaTeX-ntheorem-newtheorem-change
0bc0	64 29 0a 23 40 31 33 34 20 41 64 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 4e	d).#@134.Add.information.about.N
0be0	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 20 63 75 72 72 65	THEOREM-NEWTHEOREMS.to.the.curre
0c00	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
0c20	6f 2d 61 64 64 2d 74 79 70 65 27 2e 0a 0a 28 66 6e 20 26 72 65 73 74 20 4e 54 48 45 4f 52 45 4d	o-add-type'...(fn.&rest.NTHEOREM
0c40	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 61 54 65 58 2d	-NEWTHEOREMS)..(defalias.'LaTeX-
0c60	61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 23 5b 31 32 38 20 22	add-ntheorem-newtheorems.#[128."
0c80	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 64 64 2d 69	\300\301.\"\207".[TeX-auto-add-i
0ca0	6e 66 6f 72 6d 61 74 69 6f 6e 20 22 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 22	nformation."ntheorem-newtheorem"
0cc0	5d 20 34 20 28 23 24 20 2e 20 33 30 31 37 29 5d 29 0a 23 40 39 34 20 4c 69 73 74 20 6f 66 20 6e	].4.(#$...3017)]).#@94.List.of.n
0ce0	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 74 68	theorem-newtheorems.active.in.th
0d00	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.`
0d20	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.'
0d40	4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 23	LaTeX-ntheorem-newtheorem-list.#
0d60	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 73	[0."\300\301!\207".[TeX-auto-lis
0d80	74 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72	t-information."ntheorem-newtheor
0da0	65 6d 22 5d 20 32 20 28 23 24 20 2e 20 33 32 38 37 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 65 20	em"].2.(#$...3287)]).(byte-code.
0dc0	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
0de0	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-
0e00	70 61 72 73 65 72 20 28 22 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 22 20 4c 61	parser.("ntheorem-newtheorem".La
0e20	54 65 58 2d 61 75 74 6f 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 20 4c 61 54	TeX-auto-ntheorem-newtheorem.LaT
0e40	65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 4c 61 54 65	eX-add-ntheorem-newtheorems.LaTe
0e60	58 2d 6e 74 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	X-ntheorem-newtheorem-list.LaTeX
0e80	2d 6e 74 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 29 20 74 20	-ntheorem-newtheorem-changed).t.
0ea0	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 20 23	add-hook.TeX-remove-style-hook.#
0ec0	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 6e 74 68 65 6f 72	[0."\301\211.\207".[LaTeX-ntheor
0ee0	65 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	em-newtheorem-list.nil].2]].4).#
0f00	40 31 30 32 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 6e 74 68 65 6f 72 65 6d 2d	@102.Information.about.ntheorem-
0f20	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 6e 74 20	newtheoremstyles.in.the.current.
0f40	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 6f 2d 61	buffer..Generated.by.`TeX-auto-a
0f60	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 75 74 6f 2d 6e 74	dd-type'...(defvar.LaTeX-auto-nt
0f80	68 65 6f 72 65 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	heorem-newtheoremstyle.nil.(#$..
0fa0	20 33 38 34 35 29 29 0a 23 40 31 30 32 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20	.3845)).#@102.Information.about.
0fc0	6e 74 68 65 6f 72 65 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	ntheorem-newtheoremstyles.in.the
0fe0	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
1000	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 61 54 65	eX-auto-add-type'...(defvar.LaTe
1020	58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20	X-ntheorem-newtheoremstyle-list.
1040	6e 69 6c 20 28 23 24 20 2e 20 34 30 31 34 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d	nil.(#$...4014)).(make-variable-
1060	62 75 66 66 65 72 2d 6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77	buffer-local.'LaTeX-ntheorem-new
1080	74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 29 0a 23 40 31 30 32 20 49 6e 66 6f 72 6d 61	theoremstyle-list).#@102.Informa
10a0	74 69 6f 6e 20 61 62 6f 75 74 20 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74	tion.about.ntheorem-newtheoremst
10c0	79 6c 65 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	yles.in.the.current.buffer..Gene
10e0	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 1f 0a 28	rated.by.`TeX-auto-add-type'...(
1100	64 65 66 76 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	defvar.LaTeX-ntheorem-newtheorem
1120	73 74 79 6c 65 2d 63 68 61 6e 67 65 64 20 6e 69 6c 20 28 23 24 20 2e 20 34 32 34 39 29 29 0a 28	style-changed.nil.(#$...4249)).(
1140	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
1160	58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 63 68 61 6e 67	X-ntheorem-newtheoremstyle-chang
1180	65 64 29 0a 23 40 31 34 34 20 41 64 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20	ed).#@144.Add.information.about.
11a0	4e 54 48 45 4f 52 45 4d 2d 4e 45 57 54 48 45 4f 52 45 4d 53 54 59 4c 45 53 20 74 6f 20 74 68 65	NTHEOREM-NEWTHEOREMSTYLES.to.the
11c0	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
11e0	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 4e 54	eX-auto-add-type'...(fn.&rest.NT
1200	48 45 4f 52 45 4d 2d 4e 45 57 54 48 45 4f 52 45 4d 53 54 59 4c 45 53 29 1f 0a 28 64 65 66 61 6c	HEOREM-NEWTHEOREMSTYLES)..(defal
1220	69 61 73 20 27 4c 61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72	ias.'LaTeX-add-ntheorem-newtheor
1240	65 6d 73 74 79 6c 65 73 20 23 5b 31 32 38 20 22 5c 33 30 30 5c 33 30 31 02 5c 22 5c 32 30 37 22	emstyles.#[128."\300\301.\"\207"
1260	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 6e 74 68 65	.[TeX-auto-add-information."nthe
1280	6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 5d 20 34 20 28 23 24 20 2e 20 34	orem-newtheoremstyle"].4.(#$...4
12a0	34 39 30 29 5d 29 0a 23 40 39 39 20 4c 69 73 74 20 6f 66 20 6e 74 68 65 6f 72 65 6d 2d 6e 65 77	490)]).#@99.List.of.ntheorem-new
12c0	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 65 20 63 75 72 72	theoremstyles.active.in.the.curr
12e0	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 61 75	ent.buffer..Generated.by.`TeX-au
1300	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 4c 61 54 65 58 2d	to-add-type'...(defalias.'LaTeX-
1320	6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 23 5b	ntheorem-newtheoremstyle-list.#[
1340	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 73 74	0."\300\301!\207".[TeX-auto-list
1360	2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65	-information."ntheorem-newtheore
1380	6d 73 74 79 6c 65 22 5d 20 32 20 28 23 24 20 2e 20 34 37 38 30 29 5d 29 0a 28 62 79 74 65 2d 63	mstyle"].2.(#$...4780)]).(byte-c
13a0	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 5c 33	ode."\300\301\302\303#\210\304\3
13c0	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 2d 61	05\306\"\207".[add-to-list.TeX-a
13e0	75 74 6f 2d 70 61 72 73 65 72 20 28 22 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	uto-parser.("ntheorem-newtheorem
1400	73 74 79 6c 65 22 20 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68	style".LaTeX-auto-ntheorem-newth
1420	65 6f 72 65 6d 73 74 79 6c 65 20 4c 61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65	eoremstyle.LaTeX-add-ntheorem-ne
1440	77 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65	wtheoremstyles.LaTeX-ntheorem-ne
1460	77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65	wtheoremstyle-list.LaTeX-ntheore
1480	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 29 20 74 20 61 64 64	m-newtheoremstyle-changed).t.add
14a0	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 20 23 5b 30 20	-hook.TeX-remove-style-hook.#[0.
14c0	22 5c 33 30 31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d	"\301\211.\207".[LaTeX-ntheorem-
14e0	6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 6e 69 6c 5d 20 32 5d 5d 20 34 29	newtheoremstyle-list.nil].2]].4)
1500	0a 23 40 31 30 35 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 6e 74 68 65 6f 72 65	.#@105.Information.about.ntheore
1520	6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 73 20 69 6e 20 74 68 65 20 63 75 72	m-newtheoremlisttypes.in.the.cur
1540	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 61	rent.buffer..Generated.by.`TeX-a
1560	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 75	uto-add-type'...(defvar.LaTeX-au
1580	74 6f 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 20 6e	to-ntheorem-newtheoremlisttype.n
15a0	69 6c 20 28 23 24 20 2e 20 35 33 38 33 29 29 0a 23 40 31 30 35 20 49 6e 66 6f 72 6d 61 74 69 6f	il.(#$...5383)).#@105.Informatio
15c0	6e 20 61 62 6f 75 74 20 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74	n.about.ntheorem-newtheoremlistt
15e0	79 70 65 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	ypes.in.the.current.buffer..Gene
1600	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 1f 0a 28	rated.by.`TeX-auto-add-type'...(
1620	64 65 66 76 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	defvar.LaTeX-ntheorem-newtheorem
1640	6c 69 73 74 74 79 70 65 2d 6c 69 73 74 20 6e 69 6c 20 28 23 24 20 2e 20 35 35 35 38 29 29 0a 28	listtype-list.nil.(#$...5558)).(
1660	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
1680	58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 2d 6c 69	X-ntheorem-newtheoremlisttype-li
16a0	73 74 29 0a 23 40 31 30 35 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 6e 74 68 65	st).#@105.Information.about.nthe
16c0	6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 73 20 69 6e 20 74 68 65 20	orem-newtheoremlisttypes.in.the.
16e0	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
1700	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
1720	2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 2d 63 68 61	-ntheorem-newtheoremlisttype-cha
1740	6e 67 65 64 20 6e 69 6c 20 28 23 24 20 2e 20 35 38 30 32 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69	nged.nil.(#$...5802)).(make-vari
1760	61 62 6c 65 2d 62 75 66 66 65 72 2d 6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65	able-buffer-local.'LaTeX-ntheore
1780	6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 2d 63 68 61 6e 67 65 64 29 0a 23 40	m-newtheoremlisttype-changed).#@
17a0	31 35 30 20 41 64 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 4e 54 48 45 4f 52	150.Add.information.about.NTHEOR
17c0	45 4d 2d 4e 45 57 54 48 45 4f 52 45 4d 4c 49 53 54 54 59 50 45 53 20 74 6f 20 74 68 65 20 63 75	EM-NEWTHEOREMLISTTYPES.to.the.cu
17e0	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-
1800	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 4e 54 48 45 4f	auto-add-type'...(fn.&rest.NTHEO
1820	52 45 4d 2d 4e 45 57 54 48 45 4f 52 45 4d 4c 49 53 54 54 59 50 45 53 29 1f 0a 28 64 65 66 61 6c	REM-NEWTHEOREMLISTTYPES)..(defal
1840	69 61 73 20 27 4c 61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72	ias.'LaTeX-add-ntheorem-newtheor
1860	65 6d 6c 69 73 74 74 79 70 65 73 20 23 5b 31 32 38 20 22 5c 33 30 30 5c 33 30 31 02 5c 22 5c 32	emlisttypes.#[128."\300\301.\"\2
1880	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 6e	07".[TeX-auto-add-information."n
18a0	74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 22 5d 20 34 20 28	theorem-newtheoremlisttype"].4.(
18c0	23 24 20 2e 20 36 30 35 32 29 5d 29 0a 23 40 31 30 32 20 4c 69 73 74 20 6f 66 20 6e 74 68 65 6f	#$...6052)]).#@102.List.of.ntheo
18e0	72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 73 20 61 63 74 69 76 65 20 69	rem-newtheoremlisttypes.active.i
1900	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.
1920	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 61 6c 69	by.`TeX-auto-add-type'...(defali
1940	61 73 20 27 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73	as.'LaTeX-ntheorem-newtheoremlis
1960	74 74 79 70 65 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 20 5b	ttype-list.#[0."\300\301!\207".[
1980	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 6e 74 68 65 6f	TeX-auto-list-information."ntheo
19a0	72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 22 5d 20 32 20 28 23 24 20 2e	rem-newtheoremlisttype"].2.(#$..
19c0	20 36 33 35 35 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c 33 30 31 5c 33 30	.6355)]).(byte-code."\300\301\30
19e0	32 5c 33 30 33 23 5c 32 31 30 5c 33 30 34 5c 33 30 35 5c 33 30 36 5c 22 5c 32 30 37 22 20 5b 61	2\303#\210\304\305\306\"\207".[a
1a00	64 64 2d 74 6f 2d 6c 69 73 74 20 54 65 58 2d 61 75 74 6f 2d 70 61 72 73 65 72 20 28 22 6e 74 68	dd-to-list.TeX-auto-parser.("nth
1a20	65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 22 20 4c 61 54 65 58 2d	eorem-newtheoremlisttype".LaTeX-
1a40	61 75 74 6f 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65	auto-ntheorem-newtheoremlisttype
1a60	20 4c 61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69	.LaTeX-add-ntheorem-newtheoremli
1a80	73 74 74 79 70 65 73 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65	sttypes.LaTeX-ntheorem-newtheore
1aa0	6d 6c 69 73 74 74 79 70 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65	mlisttype-list.LaTeX-ntheorem-ne
1ac0	77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 2d 63 68 61 6e 67 65 64 29 20 74 20 61 64 64 2d	wtheoremlisttype-changed).t.add-
1ae0	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 20 23 5b 30 20 22	hook.TeX-remove-style-hook.#[0."
1b00	5c 33 30 31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e	\301\211.\207".[LaTeX-ntheorem-n
1b20	65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 2d 6c 69 73 74 20 6e 69 6c 5d 20 32 5d 5d 20	ewtheoremlisttype-list.nil].2]].
1b40	34 29 0a 23 40 39 38 20 43 6c 65 61 72 20 60 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68 65 6f 72	4).#@98.Clear.`LaTeX-auto-ntheor
1b60	65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 27 20 61 6e 64 0a 60 4c 61 54 65 58 2d 61 75 74 6f 2d 6e	em-newtheorem'.and.`LaTeX-auto-n
1b80	74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 27 20 62 65 66 6f 72 65 20	theorem-newtheoremstyle'.before.
1ba0	70 61 72 73 69 6e 67 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 6e 74 68 65 6f	parsing...(defalias.'LaTeX-ntheo
1bc0	72 65 6d 2d 61 75 74 6f 2d 70 72 65 70 61 72 65 20 23 5b 30 20 22 5c 33 30 33 5c 32 31 31 10 11	rem-auto-prepare.#[0."\303\211..
1be0	5c 33 30 33 5c 32 31 31 12 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68 65 6f	\303\211.\207".[LaTeX-auto-ntheo
1c00	72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 20 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68 65 6f 72	rem-newtheorem.LaTeX-auto-ntheor
1c20	65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74	em-newtheoremstyle.LaTeX-auto-nt
1c40	68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 20 6e 69 6c 5d 20 33	heorem-newtheoremlisttype.nil].3
1c60	20 28 23 24 20 2e 20 36 39 38 34 29 5d 29 0a 23 40 31 39 32 20 4d 6f 76 65 20 70 61 72 73 65 64	.(#$...6984)]).#@192.Move.parsed
1c80	20 72 65 73 75 6c 74 73 20 66 72 6f 6d 20 60 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68 65 6f 72	.results.from.`LaTeX-auto-ntheor
1ca0	65 6d 2d 6e 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	em-newtheorem'.and.make.them.ava
1cc0	69 6c 61 62 6c 65 20 61 73 20 6e 65 77 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 2e 20 20 55 70 64	ilable.as.new.environments...Upd
1ce0	61 74 65 0a 60 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 74 68 65 6f 72 65 6d 73 74 79 6c 65	ate.`LaTeX-ntheorem-theoremstyle
1d00	2d 6c 69 73 74 27 20 77 69 74 68 20 73 74 79 6c 65 73 20 64 65 66 69 6e 65 64 20 77 69 74 68 0a	-list'.with.styles.defined.with.
1d20	22 5c 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27	"\newtheoremstyle"...(defalias.'
1d40	4c 61 54 65 58 2d 6e 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	LaTeX-ntheorem-auto-cleanup.#[0.
1d60	22 5c 33 30 30 5c 33 30 31 5c 33 30 32 20 5c 22 5c 32 31 31 5c 32 30 33 20 00 5c 32 31 31 40 5c	"\300\301\302.\"\211\203..\211@\
1d80	33 30 33 01 5c 33 30 34 44 21 5c 32 31 30 5c 33 30 33 01 5c 33 30 35 50 5c 33 30 34 44 21 5c 32	303.\304D!\210\303.\305P\304D!\2
1da0	31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 32 05 00 5c 32 31 30 5c 33 30 36 20 5c 32 31 31 5c	10.A\266\202\202..\210\306.\211\
1dc0	32 30 33 37 00 5c 32 31 31 40 5c 33 30 37 5c 33 31 30 5c 33 31 31 21 02 5c 22 5c 32 31 30 01 41	2037.\211@\307\310\311!.\"\210.A
1de0	5c 32 36 36 5c 32 30 32 5c 32 30 32 23 00 5c 32 31 30 5c 33 31 32 20 5c 32 31 31 5c 32 30 33 4e	\266\202\202#.\210\312.\211\203N
1e00	00 5c 32 31 31 40 5c 33 30 37 5c 33 31 30 5c 33 31 33 21 02 5c 22 5c 32 31 30 01 41 5c 32 36 36	.\211@\307\310\313!.\"\210.A\266
1e20	5c 32 30 32 5c 32 30 32 3a 00 5c 32 31 30 5c 33 31 34 5c 33 31 35 5c 33 31 36 5c 22 5c 32 30 33	\202\202:.\210\314\315\316\"\203
1e40	6f 00 5c 33 30 30 5c 33 30 31 5c 33 30 32 20 5c 22 5c 32 31 31 5c 32 30 33 6e 00 5c 32 31 31 40	o.\300\301\302.\"\211\203n.\211@
1e60	5c 33 31 37 01 5c 33 32 30 50 21 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 32 5b 00 5c	\317.\320P!\210.A\266\202\202[.\
1e80	32 31 30 5c 33 30 30 5c 33 30 31 5c 33 30 32 20 5c 22 5c 32 31 31 5c 32 30 35 5c 32 30 37 00 5c	210\300\301\302.\"\211\205\207.\
1ea0	32 31 31 40 5c 33 31 37 01 5c 33 32 31 50 21 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30	211@\317.\321P!\210.A\266\202\20
1ec0	32 74 00 5c 32 30 37 22 20 5b 6d 61 70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f	2t.\207".[mapcar.car.LaTeX-ntheo
1ee0	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 61 64 64 2d 65 6e	rem-newtheorem-list.LaTeX-add-en
1f00	76 69 72 6f 6e 6d 65 6e 74 73 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 65 6e 76 2d 6c 61	vironments.LaTeX-ntheorem-env-la
1f20	62 65 6c 20 22 2a 22 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65	bel."*".LaTeX-ntheorem-newtheore
1f40	6d 73 74 79 6c 65 2d 6c 69 73 74 20 61 64 64 2d 74 6f 2d 6c 69 73 74 20 6d 61 6b 65 2d 6c 6f 63	mstyle-list.add-to-list.make-loc
1f60	61 6c 2d 76 61 72 69 61 62 6c 65 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 74 68 65 6f 72	al-variable.LaTeX-ntheorem-theor
1f80	65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74	emstyle-list.LaTeX-ntheorem-newt
1fa0	68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72	heoremlisttype-list.LaTeX-ntheor
1fc0	65 6d 2d 6c 69 73 74 74 79 70 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 70 72 6f 76 69 64 65 64 2d	em-listtype-list.LaTeX-provided-
1fe0	70 61 63 6b 61 67 65 2d 6f 70 74 69 6f 6e 73 2d 6d 65 6d 62 65 72 20 22 6e 74 68 65 6f 72 65 6d	package-options-member."ntheorem
2000	22 20 22 74 68 6d 6d 61 72 6b 73 22 20 54 65 58 2d 61 64 64 2d 73 79 6d 62 6f 6c 73 20 22 53 79	"."thmmarks".TeX-add-symbols."Sy
2020	6d 62 6f 6c 22 20 22 6e 61 6d 65 22 5d 20 35 20 28 23 24 20 2e 20 37 32 38 35 29 5d 29 0a 28 62	mbol"."name"].5.(#$...7285)]).(b
2040	79 74 65 2d 63 6f 64 65 20 22 5c 33 30 31 5c 33 30 32 5c 33 30 33 5c 33 30 34 23 5c 32 31 30 5c	yte-code."\301\302\303\304#\210\
2060	33 30 31 5c 33 30 35 5c 33 30 36 5c 33 30 34 23 5c 32 31 30 5c 33 30 31 5c 33 30 37 5c 33 31 30	301\305\306\304#\210\301\307\310
2080	5c 33 30 34 23 5c 32 31 30 5c 33 31 31 5c 33 31 32 5c 33 31 33 08 23 5c 32 30 37 22 20 5b 54 65	\304#\210\311\312\313.#\207".[Te
20a0	58 2d 64 69 61 6c 65 63 74 20 61 64 64 2d 68 6f 6f 6b 20 54 65 58 2d 61 75 74 6f 2d 70 72 65 70	X-dialect.add-hook.TeX-auto-prep
20c0	61 72 65 2d 68 6f 6f 6b 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 61 75 74 6f 2d 70 72 65	are-hook.LaTeX-ntheorem-auto-pre
20e0	70 61 72 65 20 74 20 54 65 58 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 2d 68 6f 6f 6b 20 4c 61 54	pare.t.TeX-auto-cleanup-hook.LaT
2100	65 58 2d 6e 74 68 65 6f 72 65 6d 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 20 54 65 58 2d 75 70 64	eX-ntheorem-auto-cleanup.TeX-upd
2120	61 74 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 54 65 58 2d 61 75 74 6f 2d 70 61 72 73 65 20 54 65	ate-style-hook.TeX-auto-parse.Te
2140	58 2d 61 64 64 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 22 6e 74 68 65 6f 72 65 6d 22 20 23 5b 30 20	X-add-style-hook."ntheorem".#[0.
2160	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 5c 33 30 32 5c 33 30	"\302\303.\304Q\305B!\210\302\30
2180	36 08 5c 33 30 34 51 5c 33 30 37 42 21 5c 32 31 30 5c 33 30 32 5c 33 31 30 08 5c 33 30 34 51 5c	6.\304Q\307B!\210\302\310.\304Q\
21a0	33 31 31 42 21 5c 32 31 30 5c 33 30 32 5c 33 31 32 08 5c 33 30 34 51 5c 33 31 33 42 21 5c 32 31	311B!\210\302\312.\304Q\313B!\21
21c0	30 5c 33 30 32 5c 33 31 34 08 5c 33 30 34 51 5c 33 31 35 42 21 5c 32 31 30 5c 33 31 36 5c 33 31	0\302\314.\304Q\315B!\210\316\31
21e0	37 5c 33 32 30 5c 33 32 31 5c 33 32 32 5c 33 32 33 5c 33 32 34 5c 33 32 35 5c 33 32 36 5c 33 32	7\320\321\322\323\324\325\326\32
2200	37 5c 33 33 30 5c 33 33 31 5c 33 33 32 5c 33 33 33 5c 22 5c 32 30 35 40 00 5c 33 33 34 5c 33 33	7\330\331\332\333\"\205@.\334\33
2220	35 5c 33 33 36 5c 33 33 37 5c 33 33 31 5c 33 33 32 5c 33 34 30 5c 22 5c 32 30 35 6f 00 5c 33 34	5\336\337\331\332\340\"\205o.\34
2240	31 5c 32 31 31 5c 32 31 31 5c 32 30 35 6b 00 5c 32 31 31 40 5c 33 34 32 01 21 5c 32 31 30 5c 33	1\211\211\205k.\211@\342.!\210\3
2260	34 33 01 5c 33 34 34 44 21 5c 32 31 30 5c 33 34 33 01 5c 33 34 35 50 5c 33 34 34 44 21 5c 32 31	43.\344D!\210\343.\345P\344D!\21
2280	30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 32 4c 00 5c 32 36 32 01 5c 32 36 32 01 5c 33 34 36 5c	0.A\266\202\202L.\262.\262.\346\
22a0	33 34 37 5c 33 35 30 5c 33 35 31 5c 33 35 32 5c 33 35 33 5c 33 35 34 5c 33 35 35 5c 33 35 36 5c	347\350\351\352\353\354\355\356\
22c0	33 35 37 5c 33 36 30 5c 33 36 31 5c 33 36 32 5c 33 36 33 5c 33 36 34 5c 33 36 35 5c 33 36 36 5c	357\360\361\362\363\364\365\366\
22e0	33 33 31 5c 33 33 32 5c 33 36 37 5c 22 5c 32 30 35 5c 32 31 30 00 5c 33 37 30 26 21 5c 32 31 30	331\332\367\"\205\210.\370&!\210
2300	5c 33 33 31 5c 33 33 32 5c 33 33 33 5c 22 5c 32 30 33 5c 32 35 33 00 5c 33 37 31 5c 33 37 32 5c	\331\332\333\"\203\253.\371\372\
2320	33 37 33 20 5c 22 5c 32 31 31 5c 32 30 33 5c 32 35 32 00 5c 32 31 31 40 5c 33 31 36 01 5c 33 37	373.\"\211\203\252.\211@\316.\37
2340	34 50 21 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 32 5c 32 32 37 00 5c 32 31 30 5c 33	4P!\210.A\266\202\202\227.\210\3
2360	37 31 5c 33 37 32 5c 33 37 33 20 5c 22 5c 32 31 31 5c 32 30 33 5c 33 30 33 00 5c 32 31 31 40 5c	71\372\373.\"\211\203\303.\211@\
2380	33 31 36 01 5c 33 37 35 50 21 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 32 5c 32 36 30	316.\375P!\210.A\266\202\202\260
23a0	00 5c 32 31 30 5c 33 37 36 5c 33 37 37 21 5c 32 30 35 5c 33 34 37 00 09 5c 32 30 31 40 00 3d 5c	.\210\376\377!\205\347..\201@.=\
23c0	32 30 35 5c 33 34 37 00 5c 32 30 31 41 00 5c 32 30 31 42 00 5c 32 30 31 43 00 5c 22 5c 32 31 30	205\347.\201A.\201B.\201C.\"\210
23e0	5c 32 30 31 41 00 5c 32 30 31 44 00 5c 32 30 31 45 00 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 74	\201A.\201D.\201E.\"\207".[TeX-t
2400	6f 6b 65 6e 2d 63 68 61 72 20 54 65 58 2d 69 6e 73 74 61 6c 6c 2d 66 6f 6e 74 2d 6c 6f 63 6b 20	oken-char.TeX-install-font-lock.
2420	54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 72 65 67 65 78 70 20 22 5c 5c 5c 5c 6e 65 77 74 68 65 6f	TeX-auto-add-regexp."\\\\newtheo
2440	72 65 6d 7b 5c 5c 28 22 20 22 2b 5c 5c 29 7d 22 20 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 6e	rem{\\("."+\\)}".(1.LaTeX-auto-n
2460	74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 29 20 22 5c 5c 5c 5c 6e 65 77 66 72 61 6d	theorem-newtheorem)."\\\\newfram
2480	65 64 74 68 65 6f 72 65 6d 7b 5c 5c 28 22 20 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68	edtheorem{\\(".(1.LaTeX-auto-nth
24a0	65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 29 20 22 5c 5c 5c 5c 6e 65 77 73 68 61 64 65 64	eorem-newtheorem)."\\\\newshaded
24c0	74 68 65 6f 72 65 6d 7b 5c 5c 28 22 20 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68 65 6f	theorem{\\(".(1.LaTeX-auto-ntheo
24e0	72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 29 20 22 5c 5c 5c 5c 6e 65 77 74 68 65 6f 72 65 6d 73	rem-newtheorem)."\\\\newtheorems
2500	74 79 6c 65 7b 5c 5c 28 22 20 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68 65 6f 72 65 6d	tyle{\\(".(1.LaTeX-auto-ntheorem
2520	2d 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 29 20 22 5c 5c 5c 5c 6e 65 77 74 68 65 6f 72 65	-newtheoremstyle)."\\\\newtheore
2540	6d 6c 69 73 74 74 79 70 65 7b 5c 5c 28 22 20 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 6e 74 68	mlisttype{\\(".(1.LaTeX-auto-nth
2560	65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 29 20 54 65 58 2d 61 64	eorem-newtheoremlisttype).TeX-ad
2580	64 2d 73 79 6d 62 6f 6c 73 20 28 22 6e 65 77 74 68 65 6f 72 65 6d 22 20 28 54 65 58 2d 61 72 67	d-symbols.("newtheorem".(TeX-arg
25a0	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 20 28 54	-eval.(lambda.nil.(let.((nthm.(T
25c0	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 74 2d 70 72 6f	eX-read-string.(TeX-argument-pro
25e0	6d 70 74 20 6e 69 6c 20 6e 69 6c 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 22 29 29 29 29 20 28 4c	mpt.nil.nil."Environment")))).(L
2600	61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73 20 6e 74	aTeX-add-ntheorem-newtheorems.nt
2620	68 6d 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28 6c 69 73	hm).(LaTeX-add-environments.(lis
2640	74 20 6e 74 68 6d 20 23 27 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 65 6e 76 2d 6c 61 62 65	t.nthm.#'LaTeX-ntheorem-env-labe
2660	6c 29 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28 6c 69 73	l)).(LaTeX-add-environments.(lis
2680	74 20 28 63 6f 6e 63 61 74 20 6e 74 68 6d 20 22 2a 22 29 20 23 27 4c 61 54 65 58 2d 6e 74 68 65	t.(concat.nthm."*").#'LaTeX-nthe
26a0	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 74	orem-env-label)).(format."%s".nt
26c0	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 6d	hm)))).[TeX-arg-environment."Num
26e0	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 72	bered.like"].t.[(TeX-arg-eval.pr
2700	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 63	ogn.(if.(eq.(save-excursion.(bac
2720	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 20	kward-char.2).(preceding-char)).
2740	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 68	93).nil.(TeX-arg-counter.t."With
2760	69 6e 20 63 6f 75 6e 74 65 72 22 29 29 20 23 31 3d 22 22 29 5d 29 20 28 22 72 65 6e 65 77 74 68	in.counter")).#1="")]).("renewth
2780	65 6f 72 65 6d 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	eorem".(TeX-arg-eval.completing-
27a0	72 65 61 64 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 3a 20 22 20 28 4c 61 54 65 58 2d 6e 74 68 65	read."Environment:.".(LaTeX-nthe
27c0	6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 29 20 5b 54 65 58 2d 61 72 67 2d	orem-newtheorem-list)).[TeX-arg-
27e0	65 6e 76 69 72 6f 6e 6d 65 6e 74 20 22 4e 75 6d 62 65 72 65 64 20 6c 69 6b 65 22 5d 20 74 20 5b	environment."Numbered.like"].t.[
2800	28 54 65 58 2d 61 72 67 2d 65 76 61 6c 20 70 72 6f 67 6e 20 28 69 66 20 28 65 71 20 28 73 61 76	(TeX-arg-eval.progn.(if.(eq.(sav
2820	65 2d 65 78 63 75 72 73 69 6f 6e 20 28 62 61 63 6b 77 61 72 64 2d 63 68 61 72 20 32 29 20 28 70	e-excursion.(backward-char.2).(p
2840	72 65 63 65 64 69 6e 67 2d 63 68 61 72 29 29 20 39 33 29 20 6e 69 6c 20 28 54 65 58 2d 61 72 67	receding-char)).93).nil.(TeX-arg
2860	2d 63 6f 75 6e 74 65 72 20 74 20 22 57 69 74 68 69 6e 20 63 6f 75 6e 74 65 72 22 29 29 20 23 31	-counter.t."Within.counter")).#1
2880	23 29 5d 29 20 28 22 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20 28 54 65 58 2d 61 72 67 2d 65 76	#)]).("theoremstyle".(TeX-arg-ev
28a0	61 6c 20 63 6f 6d 70 6c 65 74 69 6e 67 2d 72 65 61 64 20 22 53 74 79 6c 65 3a 20 22 20 4c 61 54	al.completing-read."Style:.".LaT
28c0	65 58 2d 6e 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 29 29 20	eX-ntheorem-theoremstyle-list)).
28e0	28 22 74 68 65 6f 72 65 6d 62 6f 64 79 66 6f 6e 74 22 20 28 4c 61 54 65 58 2d 61 72 67 2d 6e 74	("theorembodyfont".(LaTeX-arg-nt
2900	68 65 6f 72 65 6d 2d 66 6f 6e 74 64 65 63 6c 20 22 42 6f 64 79 20 66 6f 6e 74 22 29 29 20 28 22	heorem-fontdecl."Body.font")).("
2920	74 68 65 6f 72 65 6d 68 65 61 64 65 72 66 6f 6e 74 22 20 28 4c 61 54 65 58 2d 61 72 67 2d 6e 74	theoremheaderfont".(LaTeX-arg-nt
2940	68 65 6f 72 65 6d 2d 66 6f 6e 74 64 65 63 6c 20 22 48 65 61 64 65 72 20 66 6f 6e 74 22 29 29 20	heorem-fontdecl."Header.font")).
2960	28 22 74 68 65 6f 72 65 6d 6e 75 6d 62 65 72 69 6e 67 22 20 28 54 65 58 2d 61 72 67 2d 65 76 61	("theoremnumbering".(TeX-arg-eva
2980	6c 20 63 6f 6d 70 6c 65 74 69 6e 67 2d 72 65 61 64 20 28 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d	l.completing-read.(TeX-argument-
29a0	70 72 6f 6d 70 74 20 6e 69 6c 20 6e 69 6c 20 22 4e 75 6d 62 65 72 69 6e 67 20 73 63 68 65 6d 65	prompt.nil.nil."Numbering.scheme
29c0	22 29 20 27 28 22 61 72 61 62 69 63 22 20 22 72 6f 6d 61 6e 22 20 22 52 6f 6d 61 6e 22 20 22 61	").'("arabic"."roman"."Roman"."a
29e0	6c 70 68 22 20 22 41 6c 70 68 22 20 22 67 72 65 65 6b 22 20 22 47 72 65 65 6b 22 20 22 66 6e 73	lph"."Alph"."greek"."Greek"."fns
2a00	79 6d 62 6f 6c 22 29 29 29 20 28 22 74 68 65 6f 72 65 6d 73 65 70 61 72 61 74 6f 72 22 20 22 53	ymbol"))).("theoremseparator"."S
2a20	65 70 61 72 61 74 6f 72 22 29 20 28 22 74 68 65 6f 72 65 6d 70 72 65 73 6b 69 70 22 20 28 54 65	eparator").("theorempreskip".(Te
2a40	58 2d 61 72 67 2d 6c 65 6e 67 74 68 20 22 53 6b 69 70 20 62 65 66 6f 72 65 20 74 68 65 6f 72 65	X-arg-length."Skip.before.theore
2a60	6d 22 29 29 20 28 22 74 68 65 6f 72 65 6d 70 6f 73 74 73 6b 69 70 22 20 28 54 65 58 2d 61 72 67	m")).("theorempostskip".(TeX-arg
2a80	2d 6c 65 6e 67 74 68 20 22 53 6b 69 70 20 61 66 74 65 72 20 74 68 65 6f 72 65 6d 22 29 29 20 28	-length."Skip.after.theorem")).(
2aa0	22 74 68 65 6f 72 65 6d 69 6e 64 65 6e 74 22 20 28 54 65 58 2d 61 72 67 2d 66 72 65 65 20 22 54	"theoremindent".(TeX-arg-free."T
2ac0	68 65 6f 72 65 6d 20 69 6e 64 65 6e 74 22 29 29 20 4c 61 54 65 58 2d 70 72 6f 76 69 64 65 64 2d	heorem.indent")).LaTeX-provided-
2ae0	70 61 63 6b 61 67 65 2d 6f 70 74 69 6f 6e 73 2d 6d 65 6d 62 65 72 20 22 6e 74 68 65 6f 72 65 6d	package-options-member."ntheorem
2b00	22 20 22 74 68 6d 6d 61 72 6b 73 22 20 28 22 74 68 65 6f 72 65 6d 73 79 6d 62 6f 6c 22 20 74 29	"."thmmarks".("theoremsymbol".t)
2b20	20 28 22 74 68 65 6f 72 65 6d 70 72 65 77 6f 72 6b 22 20 74 29 20 28 22 74 68 65 6f 72 65 6d 70	.("theoremprework".t).("theoremp
2b40	6f 73 74 77 6f 72 6b 22 20 74 29 20 28 22 74 68 65 6f 72 65 6d 63 6c 61 73 73 22 20 28 54 65 58	ostwork".t).("theoremclass".(TeX
2b60	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 20 22 54 68 65 6f 72	-arg-eval.completing-read."Theor
2b80	65 6d 20 74 79 70 65 3a 20 22 20 28 61 70 70 65 6e 64 20 27 28 28 22 4c 61 54 65 58 22 29 29 20	em.type:.".(append.'(("LaTeX")).
2ba0	28 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29	(LaTeX-ntheorem-newtheorem-list)
2bc0	29 29 29 20 22 73 74 61 6e 64 61 72 64 22 20 28 22 54 68 65 6f 72 65 6d 22 20 22 4c 65 6d 6d 61	)))."standard".("Theorem"."Lemma
2be0	22 20 22 50 72 6f 70 6f 73 69 74 69 6f 6e 22 20 22 43 6f 72 6f 6c 6c 61 72 79 22 20 22 53 61 74	"."Proposition"."Corollary"."Sat
2c00	7a 22 20 22 4b 6f 72 6f 6c 6c 61 72 22 20 22 44 65 66 69 6e 69 74 69 6f 6e 22 20 22 45 78 61 6d	z"."Korollar"."Definition"."Exam
2c20	70 6c 65 22 20 22 42 65 69 73 70 69 65 6c 22 20 22 41 6e 6d 65 72 6b 75 6e 67 22 20 22 42 65 6d	ple"."Beispiel"."Anmerkung"."Bem
2c40	65 72 6b 75 6e 67 22 20 22 52 65 6d 61 72 6b 22 20 22 50 72 6f 6f 66 22 20 22 42 65 77 65 69 73	erkung"."Remark"."Proof"."Beweis
2c60	22 29 20 4c 61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d	").LaTeX-add-ntheorem-newtheorem
2c80	73 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 61 54 65 58 2d 6e	s.LaTeX-add-environments.LaTeX-n
2ca0	74 68 65 6f 72 65 6d 2d 65 6e 76 2d 6c 61 62 65 6c 20 22 2a 22 20 28 22 6e 65 77 66 72 61 6d 65	theorem-env-label."*".("newframe
2cc0	64 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	dtheorem".(TeX-arg-eval.(lambda.
2ce0	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
2d00	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
2d20	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 6e 74 68 65 6f	nvironment")))).(LaTeX-add-ntheo
2d40	72 65 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	rem-newtheorems.nthm).(LaTeX-add
2d60	2d 65 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	-environments.(list.nthm.#'LaTeX
2d80	2d 6e 74 68 65 6f 72 65 6d 2d 65 6e 76 2d 6c 61 62 65 6c 29 29 20 28 4c 61 54 65 58 2d 61 64 64	-ntheorem-env-label)).(LaTeX-add
2da0	2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28 6c 69 73 74 20 28 63 6f 6e 63 61 74 20 6e 74 68 6d	-environments.(list.(concat.nthm
2dc0	20 22 2a 22 29 20 23 27 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 65 6e 76 2d 6c 61 62 65 6c	."*").#'LaTeX-ntheorem-env-label
2de0	29 29 20 28 66 6f 72 6d 61 74 20 22 25 73 22 20 6e 74 68 6d 29 29 29 29 20 5b 54 65 58 2d 61 72	)).(format."%s".nthm)))).[TeX-ar
2e00	67 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 22 4e 75 6d 62 65 72 65 64 20 6c 69 6b 65 22 5d 20 74	g-environment."Numbered.like"].t
2e20	20 5b 28 54 65 58 2d 61 72 67 2d 65 76 61 6c 20 70 72 6f 67 6e 20 28 69 66 20 28 65 71 20 28 73	.[(TeX-arg-eval.progn.(if.(eq.(s
2e40	61 76 65 2d 65 78 63 75 72 73 69 6f 6e 20 28 62 61 63 6b 77 61 72 64 2d 63 68 61 72 20 32 29 20	ave-excursion.(backward-char.2).
2e60	28 70 72 65 63 65 64 69 6e 67 2d 63 68 61 72 29 29 20 39 33 29 20 6e 69 6c 20 28 54 65 58 2d 61	(preceding-char)).93).nil.(TeX-a
2e80	72 67 2d 63 6f 75 6e 74 65 72 20 74 20 22 57 69 74 68 69 6e 20 63 6f 75 6e 74 65 72 22 29 29 20	rg-counter.t."Within.counter")).
2ea0	23 31 23 29 5d 29 20 28 22 6e 65 77 73 68 61 64 65 64 74 68 65 6f 72 65 6d 22 20 28 54 65 58 2d	#1#)]).("newshadedtheorem".(TeX-
2ec0	61 72 67 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	arg-eval.(lambda.nil.(let.((nthm
2ee0	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 74 2d	.(TeX-read-string.(TeX-argument-
2f00	70 72 6f 6d 70 74 20 6e 69 6c 20 6e 69 6c 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 22 29 29 29 29	prompt.nil.nil."Environment"))))
2f20	20 28 4c 61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 73	.(LaTeX-add-ntheorem-newtheorems
2f40	20 6e 74 68 6d 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28	.nthm).(LaTeX-add-environments.(
2f60	6c 69 73 74 20 6e 74 68 6d 20 23 27 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 65 6e 76 2d 6c	list.nthm.#'LaTeX-ntheorem-env-l
2f80	61 62 65 6c 29 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28	abel)).(LaTeX-add-environments.(
2fa0	6c 69 73 74 20 28 63 6f 6e 63 61 74 20 6e 74 68 6d 20 22 2a 22 29 20 23 27 4c 61 54 65 58 2d 6e	list.(concat.nthm."*").#'LaTeX-n
2fc0	74 68 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	theorem-env-label)).(format."%s"
2fe0	20 6e 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	.nthm)))).[TeX-arg-environment."
3000	4e 75 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	Numbered.like"].t.[(TeX-arg-eval
3020	20 70 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	.progn.(if.(eq.(save-excursion.(
3040	62 61 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	backward-char.2).(preceding-char
3060	29 29 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	)).93).nil.(TeX-arg-counter.t."W
3080	69 74 68 69 6e 20 63 6f 75 6e 74 65 72 22 29 29 20 23 31 23 29 5d 29 20 28 22 73 68 61 64 65 63	ithin.counter")).#1#)]).("shadec
30a0	6f 6c 6f 72 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	olor".(TeX-arg-eval.(lambda.nil.
30c0	28 6c 65 74 20 28 28 63 6f 6c 6f 72 20 28 63 6f 6e 64 20 28 28 6d 65 6d 62 65 72 20 22 78 63 6f	(let.((color.(cond.((member."xco
30e0	6c 6f 72 22 20 28 54 65 58 2d 73 74 79 6c 65 2d 6c 69 73 74 29 29 20 28 63 6f 6d 70 6c 65 74 69	lor".(TeX-style-list)).(completi
3100	6e 67 2d 72 65 61 64 20 22 43 6f 6c 6f 72 20 6e 61 6d 65 3a 20 22 20 28 4c 61 54 65 58 2d 78 63	ng-read."Color.name:.".(LaTeX-xc
3120	6f 6c 6f 72 2d 64 65 66 69 6e 65 63 6f 6c 6f 72 2d 6c 69 73 74 29 29 29 20 28 28 6d 65 6d 62 65	olor-definecolor-list))).((membe
3140	72 20 22 63 6f 6c 6f 72 22 20 28 54 65 58 2d 73 74 79 6c 65 2d 6c 69 73 74 29 29 20 28 63 6f 6d	r."color".(TeX-style-list)).(com
3160	70 6c 65 74 69 6e 67 2d 72 65 61 64 20 22 43 6f 6c 6f 72 20 6e 61 6d 65 3a 20 22 20 28 4c 61 54	pleting-read."Color.name:.".(LaT
3180	65 58 2d 63 6f 6c 6f 72 2d 64 65 66 69 6e 65 63 6f 6c 6f 72 2d 6c 69 73 74 29 29 29 20 28 74 20	eX-color-definecolor-list))).(t.
31a0	28 54 65 58 2d 72 65 61 64 2d 73 74 72 69 6e 67 20 22 43 6f 6c 6f 72 20 6e 61 6d 65 3a 20 22 29	(TeX-read-string."Color.name:.")
31c0	29 29 29 29 20 28 66 6f 72 6d 61 74 20 22 25 73 22 20 63 6f 6c 6f 72 29 29 29 29 29 20 28 22 74	)))).(format."%s".color))))).("t
31e0	68 65 6f 72 65 6d 66 72 61 6d 65 70 72 65 73 6b 69 70 22 20 28 54 65 58 2d 61 72 67 2d 6c 65 6e	heoremframepreskip".(TeX-arg-len
3200	67 74 68 20 22 53 6b 69 70 20 62 65 66 6f 72 65 20 66 72 61 6d 65 64 20 74 68 65 6f 72 65 6d 22	gth."Skip.before.framed.theorem"
3220	29 29 20 28 22 74 68 65 6f 72 65 6d 66 72 61 6d 65 70 6f 73 74 73 6b 69 70 22 20 28 54 65 58 2d	)).("theoremframepostskip".(TeX-
3240	61 72 67 2d 6c 65 6e 67 74 68 20 22 53 6b 69 70 20 61 66 74 65 72 20 66 72 61 6d 65 64 20 74 68	arg-length."Skip.after.framed.th
3260	65 6f 72 65 6d 22 29 29 20 28 22 74 68 65 6f 72 65 6d 69 6e 66 72 61 6d 65 70 72 65 73 6b 69 70	eorem")).("theoreminframepreskip
3280	22 20 28 54 65 58 2d 61 72 67 2d 6c 65 6e 67 74 68 20 22 53 6b 69 70 20 69 6e 73 69 64 65 20 66	".(TeX-arg-length."Skip.inside.f
32a0	72 61 6d 65 64 20 74 68 65 6f 72 65 6d 22 29 29 20 28 22 74 68 65 6f 72 65 6d 69 6e 66 72 61 6d	ramed.theorem")).("theoreminfram
32c0	65 70 6f 73 74 73 6b 69 70 22 20 28 54 65 58 2d 61 72 67 2d 6c 65 6e 67 74 68 20 22 53 6b 69 70	epostskip".(TeX-arg-length."Skip
32e0	20 69 6e 73 69 64 65 20 66 72 61 6d 65 64 20 74 68 65 6f 72 65 6d 22 29 29 20 28 22 6c 69 73 74	.inside.framed.theorem")).("list
3300	74 68 65 6f 72 65 6d 73 22 20 28 54 65 58 2d 61 72 67 2d 65 76 61 6c 20 6d 61 70 63 6f 6e 63 61	theorems".(TeX-arg-eval.mapconca
3320	74 20 23 27 69 64 65 6e 74 69 74 79 20 28 54 65 58 2d 63 6f 6d 70 6c 65 74 69 6e 67 2d 72 65 61	t.#'identity.(TeX-completing-rea
3340	64 2d 6d 75 6c 74 69 70 6c 65 20 22 4c 69 73 74 73 3a 20 22 20 28 4c 61 54 65 58 2d 6e 74 68 65	d-multiple."Lists:.".(LaTeX-nthe
3360	6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 29 20 22 2c 22 29 29 20 28 22 61	orem-newtheorem-list)).",")).("a
3380	64 64 74 68 65 6f 72 65 6d 6c 69 6e 65 22 20 28 54 65 58 2d 61 72 67 2d 65 76 61 6c 20 63 6f 6d	ddtheoremline".(TeX-arg-eval.com
33a0	70 6c 65 74 69 6e 67 2d 72 65 61 64 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 3a 20 22 20 28 4c 61	pleting-read."Environment:.".(La
33c0	54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 29 20 74	TeX-ntheorem-newtheorem-list)).t
33e0	29 20 28 22 61 64 64 74 68 65 6f 72 65 6d 6c 69 6e 65 2a 22 20 28 54 65 58 2d 61 72 67 2d 65 76	).("addtheoremline*".(TeX-arg-ev
3400	61 6c 20 63 6f 6d 70 6c 65 74 69 6e 67 2d 72 65 61 64 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 3a	al.completing-read."Environment:
3420	20 22 20 28 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69	.".(LaTeX-ntheorem-newtheorem-li
3440	73 74 29 29 20 74 29 20 28 22 61 64 64 74 6f 74 68 65 6f 72 65 6d 66 69 6c 65 22 20 5b 54 65 58	st)).t).("addtotheoremfile".[TeX
3460	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 20 22 45 6e 76 69 72	-arg-eval.completing-read."Envir
3480	6f 6e 6d 65 6e 74 3a 20 22 20 28 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74 68 65	onment:.".(LaTeX-ntheorem-newthe
34a0	6f 72 65 6d 2d 6c 69 73 74 29 5d 20 74 29 20 28 22 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65	orem-list)].t).("newtheoremstyle
34c0	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 65 74	".(TeX-arg-eval.(lambda.nil.(let
34e0	20 28 28 73 74 79 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	.((style.(TeX-read-string.(TeX-a
3500	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 74 79 6c 65 20 6e 61	rgument-prompt.nil.nil."Style.na
3520	6d 65 22 29 29 29 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65 77 74	me")))).(LaTeX-add-ntheorem-newt
3540	68 65 6f 72 65 6d 73 74 79 6c 65 73 20 73 74 79 6c 65 29 20 28 61 64 64 2d 74 6f 2d 6c 69 73 74	heoremstyles.style).(add-to-list
3560	20 28 6d 61 6b 65 2d 6c 6f 63 61 6c 2d 76 61 72 69 61 62 6c 65 20 27 4c 61 54 65 58 2d 6e 74 68	.(make-local-variable.'LaTeX-nth
3580	65 6f 72 65 6d 2d 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 29 20 28 6c 69 73 74 20 73	eorem-theoremstyle-list).(list.s
35a0	74 79 6c 65 29 29 20 28 66 6f 72 6d 61 74 20 22 25 73 22 20 73 74 79 6c 65 29 29 29 29 20 32 29	tyle)).(format."%s".style)))).2)
35c0	20 28 22 72 65 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 2d 65	.("renewtheoremstyle".(TeX-arg-e
35e0	76 61 6c 20 63 6f 6d 70 6c 65 74 69 6e 67 2d 72 65 61 64 20 22 53 74 79 6c 65 20 6e 61 6d 65 3a	val.completing-read."Style.name:
3600	20 22 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c	.".LaTeX-ntheorem-theoremstyle-l
3620	69 73 74 29 20 32 29 20 28 22 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 22 20 28 54	ist).2).("newtheoremlisttype".(T
3640	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 65 74 20 28 28 6c	eX-arg-eval.(lambda.nil.(let.((l
3660	61 79 6f 75 74 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	ayout.(TeX-read-string.(TeX-argu
3680	6d 65 6e 74 2d 70 72 6f 6d 70 74 20 6e 69 6c 20 6e 69 6c 20 22 4c 69 73 74 20 6c 61 79 6f 75 74	ment-prompt.nil.nil."List.layout
36a0	20 6e 61 6d 65 22 29 29 29 29 20 28 4c 61 54 65 58 2d 61 64 64 2d 6e 74 68 65 6f 72 65 6d 2d 6e	.name")))).(LaTeX-add-ntheorem-n
36c0	65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 73 20 6c 61 79 6f 75 74 29 20 28 61 64 64 2d	ewtheoremlisttypes.layout).(add-
36e0	74 6f 2d 6c 69 73 74 20 28 6d 61 6b 65 2d 6c 6f 63 61 6c 2d 76 61 72 69 61 62 6c 65 20 27 4c 61	to-list.(make-local-variable.'La
3700	54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6c 69 73 74 74 79 70 65 2d 6c 69 73 74 29 20 28 6c 69 73	TeX-ntheorem-listtype-list).(lis
3720	74 20 6c 61 79 6f 75 74 29 29 20 28 66 6f 72 6d 61 74 20 22 25 73 22 20 6c 61 79 6f 75 74 29 29	t.layout)).(format."%s".layout))
3740	29 29 20 33 29 20 28 22 72 65 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 22 20 28 54	)).3).("renewtheoremlisttype".(T
3760	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 20 22 53 74 79	eX-arg-eval.completing-read."Sty
3780	6c 65 20 6e 61 6d 65 3a 20 22 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6c 69 73 74 74 79	le.name:.".LaTeX-ntheorem-listty
37a0	70 65 2d 6c 69 73 74 29 20 33 29 20 28 22 71 65 64 73 79 6d 62 6f 6c 22 20 74 29 20 28 22 4e 6f	pe-list).3).("qedsymbol".t).("No
37c0	45 6e 64 4d 61 72 6b 22 20 30 29 20 22 74 68 72 65 66 22 20 28 22 74 68 72 65 66 22 20 54 65 58	EndMark".0)."thref".("thref".TeX
37e0	2d 61 72 67 2d 72 65 66 29 20 6d 61 70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f	-arg-ref).mapcar.car.LaTeX-ntheo
3800	72 65 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 22 53 79 6d 62 6f 6c 22 20 22 6e 61	rem-newtheorem-list."Symbol"."na
3820	6d 65 22 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	me".featurep.font-latex.font-lat
3840	65 78 2d 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	ex-setup.font-latex-add-keywords
3860	20 28 28 22 6e 65 77 74 68 65 6f 72 65 6d 22 20 22 7b 5b 7b 5b 22 29 20 28 22 72 65 6e 65 77 74	.(("newtheorem"."{[{[").("renewt
3880	68 65 6f 72 65 6d 22 20 22 7b 5b 7b 5b 22 29 20 28 22 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20	heorem"."{[{[").("theoremstyle".
38a0	22 7b 22 29 20 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	"{").("theorembodyfont"."{").("t
38c0	68 65 6f 72 65 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	heoremheaderfont"."{").("theorem
38e0	6e 75 6d 62 65 72 69 6e 67 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 73 65 70 61 72 61 74	numbering"."{").("theoremseparat
3900	6f 72 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 70 72 65 73 6b 69 70 22 20 22 7b 22 29 20	or"."{").("theorempreskip"."{").
3920	28 22 74 68 65 6f 72 65 6d 70 6f 73 74 73 6b 69 70 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65	("theorempostskip"."{").("theore
3940	6d 73 79 6d 62 6f 6c 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 69 6e 64 65 6e 74 22 20 23	msymbol"."{").("theoremindent".#
3960	31 23 29 20 28 22 74 68 65 6f 72 65 6d 70 72 65 77 6f 72 6b 22 20 22 7b 22 29 20 28 22 74 68 65	1#).("theoremprework"."{").("the
3980	6f 72 65 6d 70 6f 73 74 77 6f 72 6b 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 63 6c 61 73	orempostwork"."{").("theoremclas
39a0	73 22 20 22 7b 22 29 20 28 22 6e 65 77 66 72 61 6d 65 64 74 68 65 6f 72 65 6d 22 20 22 7b 5b 7b	s"."{").("newframedtheorem"."{[{
39c0	5b 22 29 20 28 22 6e 65 77 73 68 61 64 65 64 74 68 65 6f 72 65 6d 22 20 22 2a 7b 5b 7b 5b 22 29	[").("newshadedtheorem"."*{[{[")
39e0	20 28 22 73 68 61 64 65 63 6f 6c 6f 72 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 66 72 61	.("shadecolor"."{").("theoremfra
3a00	6d 65 70 72 65 73 6b 69 70 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 66 72 61 6d 65 70 6f	mepreskip"."{").("theoremframepo
3a20	73 74 73 6b 69 70 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 69 6e 66 72 61 6d 65 70 72 65	stskip"."{").("theoreminframepre
3a40	73 6b 69 70 22 20 22 7b 22 29 20 28 22 74 68 65 6f 72 65 6d 69 6e 66 72 61 6d 65 70 6f 73 74 73	skip"."{").("theoreminframeposts
3a60	6b 69 70 22 20 22 7b 22 29 20 28 22 6c 69 73 74 74 68 65 6f 72 65 6d 73 22 20 22 7b 22 29 20 28	kip"."{").("listtheorems"."{").(
3a80	22 61 64 64 74 68 65 6f 72 65 6d 6c 69 6e 65 22 20 22 2a 7b 7b 22 29 20 28 22 61 64 64 74 6f 74	"addtheoremline"."*{{").("addtot
3aa0	68 65 6f 72 65 6d 66 69 6c 65 22 20 22 5b 7b 22 29 20 28 22 6e 65 77 74 68 65 6f 72 65 6d 73 74	heoremfile"."[{").("newtheoremst
3ac0	79 6c 65 22 20 22 7b 7b 7b 22 29 20 28 22 72 65 6e 65 77 74 68 65 6f 72 65 6d 73 74 79 6c 65 22	yle"."{{{").("renewtheoremstyle"
3ae0	20 22 7b 7b 7b 22 29 20 28 22 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 22 20 22 7b	."{{{").("newtheoremlisttype"."{
3b00	7b 7b 7b 22 29 20 28 22 72 65 6e 65 77 74 68 65 6f 72 65 6d 6c 69 73 74 74 79 70 65 22 20 22 7b	{{{").("renewtheoremlisttype"."{
3b20	7b 7b 7b 22 29 29 20 66 75 6e 63 74 69 6f 6e 20 28 28 22 74 68 72 65 66 22 20 22 7b 22 29 29 20	{{{")).function.(("thref"."{")).
3b40	72 65 66 65 72 65 6e 63 65 5d 20 33 36 5d 5d 20 34 29 0a 23 40 34 33 20 50 61 63 6b 61 67 65 20	reference].36]].4).#@43.Package.
3b60	6f 70 74 69 6f 6e 73 20 66 6f 72 20 74 68 65 20 6e 74 68 65 6f 72 65 6d 20 70 61 63 6b 61 67 65	options.for.the.ntheorem.package
3b80	2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 70 61 63 6b 61 67	...(defvar.LaTeX-ntheorem-packag
3ba0	65 2d 6f 70 74 69 6f 6e 73 20 27 28 22 73 74 61 6e 64 61 72 64 22 20 22 6e 6f 63 6f 6e 66 69 67	e-options.'("standard"."noconfig
3bc0	22 20 22 66 72 61 6d 65 64 22 20 22 74 68 6d 6d 61 72 6b 73 22 20 22 74 68 72 65 66 22 20 22 61	"."framed"."thmmarks"."thref"."a
3be0	6d 73 6d 61 74 68 22 20 22 68 79 70 65 72 72 65 66 22 29 20 28 23 24 20 2e 20 31 35 31 39 32 29	msmath"."hyperref").(#$...15192)
3c00	29 0a	).