blob: bea94a98e1f9e188d989ea97ba90529f9567ac6d (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 31 30 36 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20	tex.latex].2).#@106.Information.
00a0	61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79	about.thmtools-declaretheoremsty
00c0	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 72	les.in.the.current.buffer..Gener
00e0	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 64	ated.by.`TeX-auto-add-type'...(d
0100	65 66 76 61 72 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72	efvar.LaTeX-auto-thmtools-declar
0120	65 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 6e 69 6c 20 28 23 24 20 2e 20 31 34 38 29 29 0a 23 40	etheoremstyle.nil.(#$...148)).#@
0140	31 30 36 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64	106.Information.about.thmtools-d
0160	65 63 6c 61 72 65 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	eclaretheoremstyles.in.the.curre
0180	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
01a0	6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74	o-add-type'...(defvar.LaTeX-thmt
01c0	6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 20 6e 69	ools-declaretheoremstyle-list.ni
01e0	6c 20 28 23 24 20 2e 20 33 32 34 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66	l.(#$...324)).(make-variable-buf
0200	66 65 72 2d 6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72	fer-local.'LaTeX-thmtools-declar
0220	65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74 29 0a 23 40 31 30 36 20 49 6e 66 6f 72 6d	etheoremstyle-list).#@106.Inform
0240	61 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f	ation.about.thmtools-declaretheo
0260	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 66 66 65 72 2e	remstyles.in.the.current.buffer.
0280	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 65	.Generated.by.`TeX-auto-add-type
02a0	27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61	'...(defvar.LaTeX-thmtools-decla
02c0	72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 63 68 61 6e 67 65 64 20 6e 69 6c 20 28 23 24 20 2e	retheoremstyle-changed.nil.(#$..
02e0	20 35 37 30 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	.570)).(make-variable-buffer-loc
0300	61 6c 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65	al.'LaTeX-thmtools-declaretheore
0320	6d 73 74 79 6c 65 2d 63 68 61 6e 67 65 64 29 0a 23 40 31 35 32 20 41 64 64 20 69 6e 66 6f 72 6d	mstyle-changed).#@152.Add.inform
0340	61 74 69 6f 6e 20 61 62 6f 75 74 20 54 48 4d 54 4f 4f 4c 53 2d 44 45 43 4c 41 52 45 54 48 45 4f	ation.about.THMTOOLS-DECLARETHEO
0360	52 45 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	REMSTYLES.to.the.current.buffer.
0380	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 65	.Generated.by.`TeX-auto-add-type
03a0	27 2e 0a 0a 28 66 6e 20 26 72 65 73 74 20 54 48 4d 54 4f 4f 4c 53 2d 44 45 43 4c 41 52 45 54 48	'...(fn.&rest.THMTOOLS-DECLARETH
03c0	45 4f 52 45 4d 53 54 59 4c 45 53 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61	EOREMSTYLES)..(defalias.'LaTeX-a
03e0	64 64 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 73	dd-thmtools-declaretheoremstyles
0400	20 23 5b 31 32 38 20 22 5c 33 30 30 5c 33 30 31 02 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 61 75	.#[128."\300\301.\"\207".[TeX-au
0420	74 6f 2d 61 64 64 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 63	to-add-information."thmtools-dec
0440	6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 5d 20 34 20 28 23 24 20 2e 20 38 32 32 29 5d	laretheoremstyle"].4.(#$...822)]
0460	29 0a 23 40 31 30 33 20 4c 69 73 74 20 6f 66 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65	).#@103.List.of.thmtools-declare
0480	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
04a0	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
04c0	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-
04e0	74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73	thmtools-declaretheoremstyle-lis
0500	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-
0520	6c 69 73 74 2d 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61	list-information."thmtools-decla
0540	72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 5d 20 32 20 28 23 24 20 2e 20 31 31 32 38 29 5d 29	retheoremstyle"].2.(#$...1128)])
0560	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
0580	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
05a0	73 74 20 54 65 58 2d 61 75 74 6f 2d 70 61 72 73 65 72 20 28 22 74 68 6d 74 6f 6f 6c 73 2d 64 65	st.TeX-auto-parser.("thmtools-de
05c0	63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68	claretheoremstyle".LaTeX-auto-th
05e0	6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 4c 61 54 65 58	mtools-declaretheoremstyle.LaTeX
0600	2d 61 64 64 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c	-add-thmtools-declaretheoremstyl
0620	65 73 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d	es.LaTeX-thmtools-declaretheorem
0640	73 74 79 6c 65 2d 6c 69 73 74 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72	style-list.LaTeX-thmtools-declar
0660	65 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 2d 68 6f 6f	etheoremstyle-changed).t.add-hoo
0680	6b 20 54 65 58 2d 72 65 6d 6f 76 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 23 5b 30 20 22 5c 33 30	k.TeX-remove-style-hook.#[0."\30
06a0	31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c	1\211.\207".[LaTeX-thmtools-decl
06c0	61 72 65 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	aretheoremstyle-list.nil].2]].4)
06e0	0a 23 40 36 39 20 4d 61 74 63 68 65 73 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 6f 66 20 5c 64	.#@69.Matches.the.argument.of.\d
0700	65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 20 66 72 6f 6d 20 74 68 6d 74 6f 6f 6c 73	eclaretheoremstyle.from.thmtools
0720	20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c	.package...(defvar.LaTeX-thmtool
0740	73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 72 65 67 65 78 70 20 28 62 79	s-declaretheoremstyle-regexp.(by
0760	74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 21 5c 33 30 33 51 5c 33 30 34 42	te-code."\300\301\302!\303Q\304B
0780	5c 32 30 37 22 20 5b 22 5c 5c 5c 5c 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 5b	\207".["\\\\declaretheoremstyle[
07a0	20 09 5c 6e 0d 25 5d 2a 5c 5c 28 3f 3a 22 20 4c 61 54 65 58 2d 65 78 74 72 61 63 74 2d 6b 65 79	..\n.%]*\\(?:".LaTeX-extract-key
07c0	2d 76 61 6c 75 65 2d 6c 61 62 65 6c 20 6e 6f 6e 65 20 22 5c 5c 29 3f 5b 20 09 5c 6e 0d 25 5d 2a	-value-label.none."\\)?[..\n.%]*
07e0	7b 5c 5c 28 5b 5e 7d 5d 2b 5c 5c 29 7d 22 20 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d	{\\([^}]+\\)}".(1.LaTeX-auto-thm
0800	74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 29 5d 20 33 29 20 28	tools-declaretheoremstyle)].3).(
0820	23 24 20 2e 20 31 37 36 36 29 29 0a 23 40 31 30 31 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62	#$...1766)).#@101.Information.ab
0840	6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 20 69 6e 20	out.thmtools-declaretheorems.in.
0860	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
0880	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
08a0	61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65	aTeX-auto-thmtools-declaretheore
08c0	6d 20 6e 69 6c 20 28 23 24 20 2e 20 32 30 39 38 29 29 0a 23 40 31 30 31 20 49 6e 66 6f 72 6d 61	m.nil.(#$...2098)).#@101.Informa
08e0	74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72	tion.about.thmtools-declaretheor
0900	65 6d 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72	ems.in.the.current.buffer..Gener
0920	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 64	ated.by.`TeX-auto-add-type'...(d
0940	65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f	efvar.LaTeX-thmtools-declaretheo
0960	72 65 6d 2d 6c 69 73 74 20 6e 69 6c 20 28 23 24 20 2e 20 32 32 36 35 29 29 0a 28 6d 61 6b 65 2d	rem-list.nil.(#$...2265)).(make-
0980	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 58 2d 74 68 6d	variable-buffer-local.'LaTeX-thm
09a0	74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 0a 23 40 31 30 31	tools-declaretheorem-list).#@101
09c0	20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c	.Information.about.thmtools-decl
09e0	61 72 65 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	aretheorems.in.the.current.buffe
0a00	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
0a20	70 65 27 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63	pe'...(defvar.LaTeX-thmtools-dec
0a40	6c 61 72 65 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 34	laretheorem-changed.nil.(#$...24
0a60	39 37 29 29 0a 28 6d 61 6b 65 2d 76 61 72 69 61 62 6c 65 2d 62 75 66 66 65 72 2d 6c 6f 63 61 6c	97)).(make-variable-buffer-local
0a80	20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d	.'LaTeX-thmtools-declaretheorem-
0aa0	63 68 61 6e 67 65 64 29 0a 23 40 31 34 32 20 41 64 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61	changed).#@142.Add.information.a
0ac0	62 6f 75 74 20 54 48 4d 54 4f 4f 4c 53 2d 44 45 43 4c 41 52 45 54 48 45 4f 52 45 4d 53 20 74 6f	bout.THMTOOLS-DECLARETHEOREMS.to
0ae0	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 62	.the.current.buffer..Generated.b
0b00	79 20 60 54 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	y.`TeX-auto-add-type'...(fn.&res
0b20	74 20 54 48 4d 54 4f 4f 4c 53 2d 44 45 43 4c 41 52 45 54 48 45 4f 52 45 4d 53 29 1f 0a 28 64 65	t.THMTOOLS-DECLARETHEOREMS)..(de
0b40	66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 64 64 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61	falias.'LaTeX-add-thmtools-decla
0b60	72 65 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 32 30	retheorems.#[128."\300\301.\"\20
0b80	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 74 68	7".[TeX-auto-add-information."th
0ba0	6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 22 5d 20 34 20 28 23 24 20 2e 20	mtools-declaretheorem"].4.(#$...
0bc0	32 37 33 35 29 5d 29 0a 23 40 39 38 20 4c 69 73 74 20 6f 66 20 74 68 6d 74 6f 6f 6c 73 2d 64 65	2735)]).#@98.List.of.thmtools-de
0be0	63 6c 61 72 65 74 68 65 6f 72 65 6d 73 20 61 63 74 69 76 65 20 69 6e 20 74 68 65 20 63 75 72 72	claretheorems.active.in.the.curr
0c00	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
0c20	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-
0c40	74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 23 5b 30	thmtools-declaretheorem-list.#[0
0c60	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 2d	."\300\301!\207".[TeX-auto-list-
0c80	69 6e 66 6f 72 6d 61 74 69 6f 6e 20 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65	information."thmtools-declarethe
0ca0	6f 72 65 6d 22 5d 20 32 20 28 23 24 20 2e 20 33 30 32 31 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64	orem"].2.(#$...3021)]).(byte-cod
0cc0	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 30 35	e."\300\301\302\303#\210\304\305
0ce0	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 75 74	\306\"\207".[add-to-list.TeX-aut
0d00	6f 2d 70 61 72 73 65 72 20 28 22 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72	o-parser.("thmtools-declaretheor
0d20	65 6d 22 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74	em".LaTeX-auto-thmtools-declaret
0d40	68 65 6f 72 65 6d 20 4c 61 54 65 58 2d 61 64 64 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72	heorem.LaTeX-add-thmtools-declar
0d60	65 74 68 65 6f 72 65 6d 73 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65	etheorems.LaTeX-thmtools-declare
0d80	74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c	theorem-list.LaTeX-thmtools-decl
0da0	61 72 65 74 68 65 6f 72 65 6d 2d 63 68 61 6e 67 65 64 29 20 74 20 61 64 64 2d 68 6f 6f 6b 20 54	aretheorem-changed).t.add-hook.T
0dc0	65 58 2d 72 65 6d 6f 76 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 23 5b 30 20 22 5c 33 30 31 5c 32	eX-remove-style-hook.#[0."\301\2
0de0	31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65	11.\207".[LaTeX-thmtools-declare
0e00	74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 6e 69 6c 5d 20 32 5d 5d 20 34 29 0a 23 40 36 34 20 4d 61	theorem-list.nil].2]].4).#@64.Ma
0e20	74 63 68 65 73 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 6f 66 20 5c 64 65 63 6c 61 72 65 74 68	tches.the.argument.of.\declareth
0e40	65 6f 72 65 6d 20 66 72 6f 6d 20 74 68 6d 74 6f 6f 6c 73 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64	eorem.from.thmtools.package...(d
0e60	65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f	efvar.LaTeX-thmtools-declaretheo
0e80	72 65 6d 2d 72 65 67 65 78 70 20 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c 33 30 31 5c	rem-regexp.(byte-code."\300\301\
0ea0	33 30 32 21 5c 33 30 33 51 5c 33 30 34 42 5c 32 30 37 22 20 5b 22 5c 5c 5c 5c 64 65 63 6c 61 72	302!\303Q\304B\207".["\\\\declar
0ec0	65 74 68 65 6f 72 65 6d 5b 20 09 5c 6e 0d 25 5d 2a 5c 5c 28 3f 3a 22 20 4c 61 54 65 58 2d 65 78	etheorem[..\n.%]*\\(?:".LaTeX-ex
0ee0	74 72 61 63 74 2d 6b 65 79 2d 76 61 6c 75 65 2d 6c 61 62 65 6c 20 6e 6f 6e 65 20 22 5c 5c 29 3f	tract-key-value-label.none."\\)?
0f00	5b 20 09 5c 6e 0d 25 5d 2a 7b 5c 5c 28 5b 5e 7d 5d 2b 5c 5c 29 7d 22 20 28 31 20 4c 61 54 65 58	[..\n.%]*{\\([^}]+\\)}".(1.LaTeX
0f20	2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 29 5d 20	-auto-thmtools-declaretheorem)].
0f40	33 29 20 28 23 24 20 2e 20 33 36 31 34 29 29 0a 23 40 34 37 20 43 6c 65 61 72 20 60 4c 61 54 65	3).(#$...3614)).#@47.Clear.`LaTe
0f60	58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 2a 27 20 62 65 66 6f 72 65 20 70 61 72 73 69 6e	X-auto-thmtools-*'.before.parsin
0f80	67 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 61 75	g...(defalias.'LaTeX-thmtools-au
0fa0	74 6f 2d 70 72 65 70 61 72 65 20 23 5b 30 20 22 5c 33 30 32 5c 32 31 31 10 5c 32 31 31 11 5c 32	to-prepare.#[0."\302\211.\211.\2
0fc0	30 37 22 20 5b 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65	07".[LaTeX-auto-thmtools-declare
0fe0	74 68 65 6f 72 65 6d 73 74 79 6c 65 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 74 6f 6f 6c 73	theoremstyle.LaTeX-auto-thmtools
1000	2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 20 6e 69 6c 5d 20 33 20 28 23 24 20 2e 20 33 39 32	-declaretheorem.nil].3.(#$...392
1020	35 29 5d 29 0a 23 40 34 38 20 50 72 6f 63 65 73 73 20 70 61 72 73 65 64 20 65 6c 65 6d 65 6e 74	5)]).#@48.Process.parsed.element
1040	73 20 66 72 6f 6d 20 74 68 6d 74 6f 6f 6c 73 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66 61 6c	s.from.thmtools.package...(defal
1060	69 61 73 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70	ias.'LaTeX-thmtools-auto-cleanup
1080	20 23 5b 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	.#[0."\300\301\302.\"\211\205..\
10a0	32 31 31 40 5c 33 30 33 01 5c 33 30 34 42 21 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30	211@\303.\304B!\210.A\266\202\20
10c0	32 05 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 74 68 6d 74 6f	2..\207".[mapcar.car.LaTeX-thmto
10e0	6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 4c 61 54 65 58 2d 61 64	ols-declaretheorem-list.LaTeX-ad
1100	64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 65	d-environments.(LaTeX-thmtools-e
1120	6e 76 2d 6c 61 62 65 6c 29 5d 20 35 20 28 23 24 20 2e 20 34 31 33 38 29 5d 29 0a 28 62 79 74 65	nv-label)].5.(#$...4138)]).(byte
1140	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 30	-code."\300\301\302\303#\210\300
1160	5c 33 30 34 5c 33 30 35 5c 33 30 33 23 5c 32 31 30 5c 33 30 30 5c 33 30 36 5c 33 30 37 5c 33 30	\304\305\303#\210\300\306\307\30
1180	33 23 5c 32 30 37 22 20 5b 61 64 64 2d 68 6f 6f 6b 20 54 65 58 2d 61 75 74 6f 2d 70 72 65 70 61	3#\207".[add-hook.TeX-auto-prepa
11a0	72 65 2d 68 6f 6f 6b 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 61 75 74 6f 2d 70 72 65 70	re-hook.LaTeX-thmtools-auto-prep
11c0	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 65	are.t.TeX-auto-cleanup-hook.LaTe
11e0	58 2d 74 68 6d 74 6f 6f 6c 73 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 20 54 65 58 2d 75 70 64 61	X-thmtools-auto-cleanup.TeX-upda
1200	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 5d 20 34 29	te-style-hook.TeX-auto-parse].4)
1220	0a 23 40 32 30 33 20 51 75 65 72 79 20 61 6e 64 20 72 65 74 75 72 6e 20 61 20 6b 65 79 3d 76 61	.#@203.Query.and.return.a.key=va
1240	6c 20 73 74 72 69 6e 67 20 66 6f 72 20 5c 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c	l.string.for.\declaretheoremstyl
1260	65 20 6d 61 63 72 6f 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c	e.macro..If.OPTIONAL.is.non-nil,
1280	20 69 6e 64 69 63 61 74 65 20 61 6e 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75 6d 65 6e 74 20 69	.indicate.an.optional.argument.i
12a0	6e 0a 6d 69 6e 69 62 75 66 66 65 72 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c 61 63 65 73 20 74	n.minibuffer...PROMPT.replaces.t
12c0	68 65 20 73 74 61 6e 64 61 72 64 20 6f 6e 65 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c 20 26	he.standard.one...(fn.OPTIONAL.&
12e0	6f 70 74 69 6f 6e 61 6c 20 50 52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54	optional.PROMPT)..(defalias.'LaT
1300	65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d	eX-thmtools-declaretheoremstyle-
1320	6b 65 79 2d 76 61 6c 20 23 5b 35 31 33 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 30 5c 33 30 32 5c	key-val.#[513."\300\301\300\302\
1340	33 30 33 20 5c 22 5c 22 5c 33 30 30 5c 33 30 34 5c 33 30 35 5c 22 5c 33 30 36 04 5c 33 30 37 04	303.\"\"\300\304\305\"\306.\307.
1360	44 5c 33 31 30 05 44 5c 33 31 31 05 44 5c 33 31 32 06 06 44 5c 33 31 33 06 07 44 5c 33 31 34 5c	D\310.D\311.D\312..D\313..D\314\
1380	33 31 35 5c 33 31 36 06 0b 44 5c 33 31 37 5c 33 32 30 06 0d 44 5c 32 35 37 5c 6e 05 23 5c 32 30	315\316..D\317\320..D\257\n.#\20
13a0	37 22 20 5b 6d 61 70 63 61 72 20 23 5b 32 35 37 20 22 08 01 50 5c 32 30 37 22 20 5b 54 65 58 2d	7".[mapcar.#[257."..P\207".[TeX-
13c0	65 73 63 5d 20 33 20 22 5c 6e 5c 6e 28 66 6e 20 58 29 22 5d 20 63 61 72 20 4c 61 54 65 58 2d 6c	esc].3."\n\n(fn.X)"].car.LaTeX-l
13e0	65 6e 67 74 68 2d 6c 69 73 74 20 23 5b 32 35 37 20 22 08 01 50 5c 32 30 37 22 20 5b 54 65 58 2d	ength-list.#[257."..P\207".[TeX-
1400	65 73 63 5d 20 33 20 22 5c 6e 5c 6e 28 66 6e 20 58 29 22 5d 20 28 22 72 6d 66 61 6d 69 6c 79 22	esc].3."\n\n(fn.X)"].("rmfamily"
1420	20 22 73 66 66 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	."sffamily"."ttfamily"."mdseries
1440	22 20 22 62 66 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	"."bfseries"."upshape"."itshape"
1460	20 22 73 6c 73 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	."slshape"."scshape"."tiny"."scr
1480	69 70 74 73 69 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	iptsize"."footnotesize"."small".
14a0	22 6e 6f 72 6d 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	"normalsize"."large"."Large"."LA
14c0	52 47 45 22 20 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	RGE"."huge"."Huge"."normalfont")
14e0	20 54 65 58 2d 72 65 61 64 2d 6b 65 79 2d 76 61 6c 20 22 73 70 61 63 65 61 62 6f 76 65 22 20 22	.TeX-read-key-val."spaceabove"."
1500	73 70 61 63 65 62 65 6c 6f 77 22 20 22 68 65 61 64 66 6f 6e 74 22 20 22 6e 6f 74 65 66 6f 6e 74	spacebelow"."headfont"."notefont
1520	22 20 22 62 6f 64 79 66 6f 6e 74 22 20 28 22 68 65 61 64 70 75 6e 63 74 22 29 20 28 22 6e 6f 74	"."bodyfont".("headpunct").("not
1540	65 62 72 61 63 65 73 22 29 20 22 70 6f 73 74 68 65 61 64 73 70 61 63 65 22 20 28 22 68 65 61 64	ebraces")."postheadspace".("head
1560	66 6f 72 6d 61 74 22 20 28 22 6d 61 72 67 69 6e 22 20 22 73 77 61 70 6e 75 6d 62 65 72 22 20 22	format".("margin"."swapnumber"."
1580	5c 5c 4e 55 4d 42 45 52 22 20 22 5c 5c 4e 41 4d 45 22 20 22 5c 5c 4e 4f 54 45 22 29 29 20 22 68	\\NUMBER"."\\NAME"."\\NOTE"))."h
15a0	65 61 64 69 6e 64 65 6e 74 22 5d 20 31 37 20 28 23 24 20 2e 20 34 36 34 37 29 5d 29 0a 23 40 32	eadindent"].17.(#$...4647)]).#@2
15c0	33 35 20 49 6e 73 65 72 74 20 74 68 65 20 6b 65 79 3d 76 61 6c 20 61 6e 64 20 73 74 79 6c 65 20	35.Insert.the.key=val.and.style.
15e0	6e 61 6d 65 20 64 65 66 69 6e 65 64 20 62 79 20 5c 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73	name.defined.by.\declaretheorems
1600	74 79 6c 65 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c 20 61 6c	tyle..If.OPTIONAL.is.non-nil,.al
1620	73 6f 20 69 6e 73 65 72 74 20 74 68 65 20 73 65 63 6f 6e 64 20 61 72 67 75 6d 65 6e 74 20 69 6e	so.insert.the.second.argument.in
1640	20 73 71 75 61 72 65 0a 62 72 61 63 6b 65 74 73 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c 61 63	.square.brackets...PROMPT.replac
1660	65 73 20 74 68 65 20 73 74 61 6e 64 61 72 64 20 6f 6e 65 20 66 6f 72 20 74 68 65 20 73 65 63 6f	es.the.standard.one.for.the.seco
1680	6e 64 0a 61 72 67 75 6d 65 6e 74 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c 20 26 6f 70 74 69	nd.argument...(fn.OPTIONAL.&opti
16a0	6f 6e 61 6c 20 50 52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61	onal.PROMPT)..(defalias.'LaTeX-a
16c0	72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 20	rg-thmtools-declaretheoremstyle.
16e0	23 5b 35 31 33 20 22 5c 33 30 32 5c 33 30 33 18 19 5c 33 30 34 5c 33 30 35 5c 33 30 36 21 5c 33	#[513."\302\303..\304\305\306!\3
1700	30 36 5c 22 5c 32 31 30 2a 5c 33 30 37 5c 33 31 30 03 03 5c 33 31 31 23 21 5c 33 31 32 01 21 5c	06\"\210*\307\310..\311#!\312.!\
1720	32 31 30 5c 33 30 34 01 04 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 61 72 67 2d 63 6c 6f 73 69 6e	210\304..\"\207".[TeX-arg-closin
1740	67 2d 62 72 61 63 65 20 54 65 58 2d 61 72 67 2d 6f 70 65 6e 69 6e 67 2d 62 72 61 63 65 20 22 5b	g-brace.TeX-arg-opening-brace."[
1760	22 20 22 5d 22 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 69 6e 73 65 72 74 20 4c 61 54 65 58 2d	"."]".TeX-argument-insert.LaTeX-
1780	74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6b 65 79	thmtools-declaretheoremstyle-key
17a0	2d 76 61 6c 20 74 20 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	-val.t.TeX-read-string.TeX-argum
17c0	65 6e 74 2d 70 72 6f 6d 70 74 20 22 53 74 79 6c 65 22 20 4c 61 54 65 58 2d 61 64 64 2d 74 68 6d	ent-prompt."Style".LaTeX-add-thm
17e0	74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 73 5d 20 37 20 28 23	tools-declaretheoremstyles].7.(#
1800	24 20 2e 20 35 35 37 31 29 5d 29 0a 23 40 31 39 38 20 51 75 65 72 79 20 61 6e 64 20 72 65 74 75	$...5571)]).#@198.Query.and.retu
1820	72 6e 20 61 20 6b 65 79 3d 76 61 6c 20 73 74 72 69 6e 67 20 66 6f 72 20 5c 64 65 63 6c 61 72 65	rn.a.key=val.string.for.\declare
1840	74 68 65 6f 72 65 6d 20 6d 61 63 72 6f 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f	theorem.macro..If.OPTIONAL.is.no
1860	6e 2d 6e 69 6c 2c 20 69 6e 64 69 63 61 74 65 20 61 6e 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75	n-nil,.indicate.an.optional.argu
1880	6d 65 6e 74 20 69 6e 0a 6d 69 6e 69 62 75 66 66 65 72 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c	ment.in.minibuffer...PROMPT.repl
18a0	61 63 65 73 20 74 68 65 20 73 74 61 6e 64 61 72 64 20 6f 6e 65 2e 0a 0a 28 66 6e 20 4f 50 54 49	aces.the.standard.one...(fn.OPTI
18c0	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 61	ONAL.&optional.PROMPT)..(defalia
18e0	73 20 27 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d	s.'LaTeX-thmtools-declaretheorem
1900	2d 6b 65 79 2d 76 61 6c 20 23 5b 35 31 33 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 32 20 5c 22 5c	-key-val.#[513."\300\301\302.\"\
1920	33 30 33 03 5c 33 30 34 03 44 5c 33 30 35 04 44 5c 33 30 36 05 44 5c 33 30 37 06 06 44 5c 33 31	303.\304.D\305.D\306.D\307..D\31
1940	30 06 07 44 5c 33 31 31 06 08 44 5c 33 31 32 5c 33 31 33 5c 33 31 34 5c 33 31 35 5c 33 31 36 5c	0..D\311..D\312\313\314\315\316\
1960	33 31 37 5c 33 32 30 5c 33 32 31 21 5c 32 30 35 32 00 5c 33 32 31 20 5c 32 30 35 32 00 5c 33 30	317\320\321!\2052.\321.\2052.\30
1980	30 5c 33 30 31 5c 33 32 31 20 5c 22 5c 33 32 30 5c 33 32 32 21 5c 32 30 35 42 00 5c 33 32 32 20	0\301\321.\"\320\322!\205B.\322.
19a0	5c 32 30 35 42 00 5c 33 30 30 5c 33 30 31 5c 33 32 32 20 5c 22 5c 33 30 30 5c 33 30 31 5c 33 32	\205B.\300\301\322.\"\300\301\32
19c0	33 20 5c 22 23 44 5c 33 32 34 42 42 42 42 42 42 42 42 42 42 42 04 23 5c 32 30 37 22 20 5b 6d 61	3.\"#D\324BBBBBBBBBBB.#\207".[ma
19e0	70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 63 6f 75 6e 74 65 72 2d 6c 69 73 74 20 54 65 58 2d	pcar.car.LaTeX-counter-list.TeX-
1a00	72 65 61 64 2d 6b 65 79 2d 76 61 6c 20 22 70 61 72 65 6e 74 22 20 22 6e 75 6d 62 65 72 77 69 74	read-key-val."parent"."numberwit
1a20	68 69 6e 22 20 22 77 69 74 68 69 6e 22 20 22 73 69 62 6c 69 6e 67 22 20 22 6e 75 6d 62 65 72 6c	hin"."within"."sibling"."numberl
1a40	69 6b 65 22 20 22 73 68 61 72 65 6e 75 6d 62 65 72 22 20 28 22 74 69 74 6c 65 22 29 20 28 22 6e	ike"."sharenumber".("title").("n
1a60	61 6d 65 22 29 20 28 22 68 65 61 64 69 6e 67 22 29 20 28 22 6e 75 6d 62 65 72 65 64 22 20 28 22	ame").("heading").("numbered".("
1a80	79 65 73 22 20 22 6e 6f 22 20 22 75 6e 6c 65 73 73 20 75 6e 69 71 75 65 22 29 29 20 22 73 74 79	yes"."no"."unless.unique"))."sty
1aa0	6c 65 22 20 61 70 70 65 6e 64 20 66 62 6f 75 6e 64 70 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d	le".append.fboundp.LaTeX-amsthm-
1ac0	6e 65 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	newtheoremstyle-list.LaTeX-ntheo
1ae0	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 4c 61 54 65 58 2d 74	rem-newtheoremstyle-list.LaTeX-t
1b00	68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 2d 6c 69 73 74	hmtools-declaretheoremstyle-list
1b20	20 28 28 22 70 72 65 68 65 61 64 68 6f 6f 6b 22 29 20 28 22 70 6f 73 74 68 65 61 64 68 6f 6f 6b	.(("preheadhook").("postheadhook
1b40	22 29 20 28 22 70 72 65 66 6f 6f 74 68 6f 6f 6b 22 29 20 28 22 70 6f 73 74 66 6f 6f 74 68 6f 6f	").("prefoothook").("postfoothoo
1b60	6b 22 29 20 28 22 72 65 66 6e 61 6d 65 22 29 20 28 22 52 65 66 6e 61 6d 65 22 29 20 28 22 73 68	k").("refname").("Refname").("sh
1b80	61 64 65 64 22 20 28 22 74 65 78 74 77 69 64 74 68 22 20 22 62 67 63 6f 6c 6f 72 22 20 22 72 75	aded".("textwidth"."bgcolor"."ru
1ba0	6c 65 63 6f 6c 6f 72 22 20 22 72 75 6c 65 77 69 64 74 68 22 20 22 6d 61 72 67 69 6e 22 29 29 20	lecolor"."rulewidth"."margin")).
1bc0	28 22 74 68 6d 62 6f 78 22 20 28 22 4c 22 20 22 4d 22 20 22 53 22 29 29 29 5d 20 32 32 20 28 23	("thmbox".("L"."M"."S")))].22.(#
1be0	24 20 2e 20 36 31 36 32 29 5d 29 0a 23 40 32 33 36 20 49 6e 73 65 72 74 20 74 68 65 20 6b 65 79	$...6162)]).#@236.Insert.the.key
1c00	3d 76 61 6c 20 61 6e 64 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 6e 61 6d 65 20 64 65 66 69 6e 65	=val.and.environment.name.define
1c20	64 20 62 79 20 5c 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2e 0a 49 66 20 4f 50 54 49 4f 4e 41	d.by.\declaretheorem..If.OPTIONA
1c40	4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c 20 61 6c 73 6f 20 69 6e 73 65 72 74 20 74 68 65 20 73 65	L.is.non-nil,.also.insert.the.se
1c60	63 6f 6e 64 20 61 72 67 75 6d 65 6e 74 20 69 6e 20 73 71 75 61 72 65 0a 62 72 61 63 6b 65 74 73	cond.argument.in.square.brackets
1c80	2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c 61 63 65 73 20 74 68 65 20 73 74 61 6e 64 61 72 64 20	...PROMPT.replaces.the.standard.
1ca0	6f 6e 65 20 66 6f 72 20 74 68 65 20 73 65 63 6f 6e 64 0a 61 72 67 75 6d 65 6e 74 2e 0a 0a 28 66	one.for.the.second.argument...(f
1cc0	6e 20 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	n.OPTIONAL.&optional.PROMPT)..(d
1ce0	65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c	efalias.'LaTeX-arg-thmtools-decl
1d00	61 72 65 74 68 65 6f 72 65 6d 20 23 5b 35 31 33 20 22 5c 33 30 32 5c 33 30 33 03 03 5c 33 30 34	aretheorem.#[513."\302\303..\304
1d20	23 21 5c 33 30 35 01 5c 33 30 36 42 21 5c 32 31 30 5c 33 30 37 01 04 5c 22 5c 32 36 36 02 5c 33	#!\305.\306B!\210\307..\"\266.\3
1d40	31 30 5c 33 31 31 18 19 5c 33 30 37 5c 33 31 32 5c 33 31 33 21 5c 33 31 33 5c 22 2a 5c 32 30 37	10\311..\307\312\313!\313\"*\207
1d60	22 20 5b 54 65 58 2d 61 72 67 2d 63 6c 6f 73 69 6e 67 2d 62 72 61 63 65 20 54 65 58 2d 61 72 67	".[TeX-arg-closing-brace.TeX-arg
1d80	2d 6f 70 65 6e 69 6e 67 2d 62 72 61 63 65 20 54 65 58 2d 72 65 61 64 2d 73 74 72 69 6e 67 20 54	-opening-brace.TeX-read-string.T
1da0	65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72 6f 6d 70 74 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 22	eX-argument-prompt."Environment"
1dc0	20 4c 61 54 65 58 2d 61 64 64 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 28 4c 61 54 65 58 2d 74	.LaTeX-add-environments.(LaTeX-t
1de0	68 6d 74 6f 6f 6c 73 2d 65 6e 76 2d 6c 61 62 65 6c 29 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d	hmtools-env-label).TeX-argument-
1e00	69 6e 73 65 72 74 20 22 5b 22 20 22 5d 22 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65	insert."["."]".LaTeX-thmtools-de
1e20	63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6b 65 79 2d 76 61 6c 20 74 5d 20 37 20 28 23 24 20 2e 20	claretheorem-key-val.t].7.(#$...
1e40	37 31 35 34 29 5d 29 0a 23 40 31 39 38 20 51 75 65 72 79 20 61 6e 64 20 72 65 74 75 72 6e 20 61	7154)]).#@198.Query.and.return.a
1e60	20 6b 65 79 3d 76 61 6c 20 73 74 72 69 6e 67 20 66 6f 72 20 5c 6c 69 73 74 6f 66 74 68 65 6f 72	.key=val.string.for.\listoftheor
1e80	65 6d 73 20 6d 61 63 72 6f 2e 0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69	ems.macro..If.OPTIONAL.is.non-ni
1ea0	6c 2c 20 69 6e 64 69 63 61 74 65 20 61 6e 20 6f 70 74 69 6f 6e 61 6c 20 61 72 67 75 6d 65 6e 74	l,.indicate.an.optional.argument
1ec0	20 69 6e 0a 6d 69 6e 69 62 75 66 66 65 72 2e 20 20 50 52 4f 4d 50 54 20 72 65 70 6c 61 63 65 73	.in.minibuffer...PROMPT.replaces
1ee0	20 74 68 65 20 73 74 61 6e 64 61 72 64 20 6f 6e 65 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c	.the.standard.one...(fn.OPTIONAL
1f00	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 61 73 20 27 4c	.&optional.PROMPT)..(defalias.'L
1f20	61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 2d 6b 65 79	aTeX-thmtools-listoftheorems-key
1f40	2d 76 61 6c 20 23 5b 35 31 33 20 22 5c 33 30 30 5c 33 30 31 5c 33 30 30 5c 33 30 32 5c 33 30 33	-val.#[513."\300\301\300\302\303
1f60	20 5c 22 5c 22 5c 33 30 34 5c 33 30 35 5c 33 30 36 21 5c 32 30 35 19 00 5c 33 30 36 20 5c 32 30	.\"\"\304\305\306!\205..\306.\20
1f80	35 19 00 5c 33 30 30 5c 33 30 32 5c 33 30 36 20 5c 22 5c 33 30 35 5c 33 30 37 21 5c 32 30 35 29	5..\300\302\306.\"\305\307!\205)
1fa0	00 5c 33 30 37 20 5c 32 30 35 29 00 5c 33 30 30 5c 33 30 32 5c 33 30 37 20 5c 22 5c 33 30 30 5c	.\307.\205).\300\302\307.\"\300\
1fc0	33 30 32 5c 33 31 30 20 5c 22 23 5c 33 31 31 04 5c 33 31 32 5c 33 31 33 04 44 5c 33 31 34 5c 33	302\310.\"#\311.\312\313.D\314\3
1fe0	31 35 06 06 44 5c 33 31 36 5c 33 31 37 06 08 44 5c 33 32 30 5c 33 32 31 06 0b 44 5c 32 35 37 08	15..D\316\317..D\320\321..D\257.
2000	05 23 5c 32 30 37 22 20 5b 6d 61 70 63 61 72 20 23 5b 32 35 37 20 22 08 01 50 5c 32 30 37 22 20	.#\207".[mapcar.#[257."..P\207".
2020	5b 54 65 58 2d 65 73 63 5d 20 33 20 22 5c 6e 5c 6e 28 66 6e 20 58 29 22 5d 20 63 61 72 20 4c 61	[TeX-esc].3."\n\n(fn.X)"].car.La
2040	54 65 58 2d 6c 65 6e 67 74 68 2d 6c 69 73 74 20 61 70 70 65 6e 64 20 66 62 6f 75 6e 64 70 20 4c	TeX-length-list.append.fboundp.L
2060	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 61 54 65	aTeX-amsthm-newtheorem-list.LaTe
2080	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
20a0	2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69 73 74 20 54 65	-thmtools-declaretheorem-list.Te
20c0	58 2d 72 65 61 64 2d 6b 65 79 2d 76 61 6c 20 28 22 74 69 74 6c 65 22 29 20 22 69 67 6e 6f 72 65	X-read-key-val.("title")."ignore
20e0	22 20 28 22 69 67 6e 6f 72 65 61 6c 6c 22 20 28 22 74 72 75 65 22 20 22 66 61 6c 73 65 22 29 29	".("ignoreall".("true"."false"))
2100	20 22 73 68 6f 77 22 20 28 22 73 68 6f 77 61 6c 6c 22 20 28 22 74 72 75 65 22 20 22 66 61 6c 73	."show".("showall".("true"."fals
2120	65 22 29 29 20 22 6f 6e 6c 79 6e 61 6d 65 64 22 20 28 22 73 77 61 70 6e 75 6d 62 65 72 22 20 28	e"))."onlynamed".("swapnumber".(
2140	22 74 72 75 65 22 20 22 66 61 6c 73 65 22 29 29 20 22 6e 75 6d 77 69 64 74 68 22 5d 20 31 35 20	"true"."false"))."numwidth"].15.
2160	28 23 24 20 2e 20 37 37 35 38 29 5d 29 0a 23 40 32 31 32 20 49 6e 73 65 72 74 20 74 68 65 20 6b	(#$...7758)]).#@212.Insert.the.k
2180	65 79 3d 76 61 6c 20 74 6f 20 5c 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 20 6d 61 63 72 6f 2e	ey=val.to.\listoftheorems.macro.
21a0	0a 49 66 20 4f 50 54 49 4f 4e 41 4c 20 69 73 20 6e 6f 6e 2d 6e 69 6c 2c 20 69 6e 73 65 72 74 20	.If.OPTIONAL.is.non-nil,.insert.
21c0	74 68 65 20 72 65 73 75 6c 74 20 73 71 75 61 72 65 20 62 72 61 63 6b 65 74 73 2e 0a 4f 50 54 49	the.result.square.brackets..OPTI
21e0	4f 4e 41 4c 20 61 6e 64 20 50 52 4f 4d 50 54 20 61 72 65 20 70 61 73 73 65 64 20 74 6f 20 60 4c	ONAL.and.PROMPT.are.passed.to.`L
2200	61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 2d 6b 65 79	aTeX-thmtools-listoftheorems-key
2220	2d 76 61 6c 27 2e 0a 0a 28 66 6e 20 4f 50 54 49 4f 4e 41 4c 20 26 6f 70 74 69 6f 6e 61 6c 20 50	-val'...(fn.OPTIONAL.&optional.P
2240	52 4f 4d 50 54 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 72 67 2d 74 68 6d	ROMPT)..(defalias.'LaTeX-arg-thm
2260	74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 20 23 5b 35 31 33 20 22 5c 33 30 30	tools-listoftheorems.#[513."\300
2280	5c 33 30 31 03 03 5c 22 03 5c 22 5c 32 30 37 22 20 5b 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 69	\301..\".\"\207".[TeX-argument-i
22a0	6e 73 65 72 74 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72	nsert.LaTeX-thmtools-listoftheor
22c0	65 6d 73 2d 6b 65 79 2d 76 61 6c 5d 20 36 20 28 23 24 20 2e 20 38 35 36 34 29 5d 29 0a 23 40 35	ems-key-val].6.(#$...8564)]).#@5
22e0	35 37 20 49 6e 73 65 72 74 20 74 68 6d 74 6f 6f 6c 73 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 2c 20	57.Insert.thmtools.ENVIRONMENT,.
2300	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
2320	6e 64 20 6c 61 62 65 6c 2e 0a 41 55 43 54 65 58 20 75 73 65 72 73 20 73 68 6f 75 6c 64 20 61 64	nd.label..AUCTeX.users.should.ad
2340	64 20 45 4e 56 49 52 4f 4e 4d 45 4e 54 20 74 6f 20 60 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 61 6c	d.ENVIRONMENT.to.`LaTeX-label-al
2360	69 73 74 27 20 76 69 61 0a 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
2380	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
23a0	58 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 20 5c 3d 27 28 22 74 68 65 6f 72 65 6d 22 20 2e 20 22 74	X-label-alist.\='("theorem"..."t
23c0	68 6d 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	hm:"))..RefTeX.users.should.cust
23e0	6f 6d 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	omize.or.add.ENVIRONMENT.to.`LaT
2400	65 58 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	eX-label-alist'.and.`reftex-labe
2420	6c 2d 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	l-alist',.for.example....(add-to
2440	2d 6c 69 73 74 20 5c 3d 27 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 61 6c 69 73 74 20 5c 3d 27 28 22	-list.\='LaTeX-label-alist.\='("
2460	74 68 65 6f 72 65 6d 22 20 2e 20 22 74 68 6d 3a 22 29 29 0a 20 20 28 61 64 64 2d 74 6f 2d 6c 69	theorem"..."thm:"))...(add-to-li
2480	73 74 20 5c 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	st.\='reftex-label-alist........
24a0	20 20 20 20 20 20 20 20 5c 3d 27 28 22 74 68 65 6f 72 65 6d 22 20 3f 6d 20 22 74 68 6d 3a 22 20	........\='("theorem".?m."thm:".
24c0	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 20 20 20 6e 69 6c	"~\ref{%s}"..................nil
24e0	20 28 22 54 68 65 6f 72 65 6d 22 20 22 74 68 65 6f 72 65 6d 22 29 20 6e 69 6c 29 29 0a 0a 28 66	.("Theorem"."theorem").nil))..(f
2500	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 65 58	n.ENVIRONMENT)..(defalias.'LaTeX
2520	2d 74 68 6d 74 6f 6f 6c 73 2d 65 6e 76 2d 6c 61 62 65 6c 20 23 5b 32 35 37 20 22 5c 33 30 31 18	-thmtools-env-label.#[257."\301.
2540	5c 33 30 32 5c 33 30 33 5c 33 30 34 5c 32 31 31 5c 33 30 35 23 5c 33 30 36 5c 22 5c 32 31 31 5c	\302\303\304\211\305#\306\"\211\
2560	33 30 37 55 5c 32 30 33 1a 00 5c 33 31 30 5c 33 30 33 5c 33 31 31 5c 33 30 34 5c 33 31 32 23 21	307U\203..\310\303\311\304\312#!
2580	5c 32 30 32 3a 00 5c 32 31 31 5c 33 31 33 55 5c 32 30 33 39 00 5c 33 31 34 5c 33 31 31 5c 33 31	\202:.\211\313U\2039.\314\311\31
25a0	35 5c 33 31 36 5c 33 31 37 5c 33 32 30 5c 33 32 31 20 5c 22 44 5c 33 32 32 5c 33 31 37 5c 33 32	5\316\317\320\321.\"D\322\317\32
25c0	30 5c 33 32 31 20 5c 22 44 5c 33 32 33 42 42 42 5c 22 5c 32 30 32 3a 00 5c 33 32 34 5c 33 32 35	0\321.\"D\323BBB\"\202:.\324\325
25e0	03 02 5c 32 30 35 4b 00 02 5c 33 32 34 5c 32 33 30 3f 5c 32 30 35 4b 00 5c 33 32 36 5c 33 32 37	..\205K..\324\230?\205K.\326\327
2600	04 5c 22 5c 22 5c 32 31 30 29 5c 32 36 36 02 5c 33 33 30 01 5c 33 33 31 5c 22 5c 32 30 35 5c 5c	.\"\"\210)\266.\330.\331\"\205\\
2620	00 5c 33 33 32 20 5c 32 31 30 5c 33 33 33 20 5c 32 30 37 22 20 5b 68 65 6c 70 2d 66 6f 72 6d 20	.\332.\210\333.\207".[help-form.
2640	22 53 65 6c 65 63 74 20 74 68 65 20 63 6f 6e 74 65 6e 74 20 6f 66 20 74 68 65 20 6f 70 74 69 6f	"Select.the.content.of.the.optio
2660	6e 61 6c 20 61 72 67 75 6d 65 6e 74 20 77 69 74 68 20 61 20 6b 65 79 3a 5c 6e 27 68 27 20 69 6e	nal.argument.with.a.key:\n'h'.in
2680	20 6f 72 64 65 72 20 74 6f 20 69 6e 73 65 72 74 20 61 20 70 6c 61 69 6e 20 68 65 61 64 69 6e 67	.order.to.insert.a.plain.heading
26a0	2c 5c 6e 27 6b 27 20 69 6e 20 6f 72 64 65 72 20 74 6f 20 69 6e 73 65 72 74 20 6b 65 79 3d 76 61	,\n'k'.in.order.to.insert.key=va
26c0	6c 75 65 20 70 61 69 72 73 20 77 69 74 68 20 63 6f 6d 70 6c 65 74 69 6f 6e 2c 5c 6e 52 45 54 20	lue.pairs.with.completion,\nRET.
26e0	69 6e 20 6f 72 64 65 72 20 74 6f 20 6c 65 61 76 65 20 69 74 20 65 6d 70 74 79 2e 22 20 72 65 61	in.order.to.leave.it.empty.".rea
2700	64 2d 63 68 61 72 2d 63 68 6f 69 63 65 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72 6f 6d 70	d-char-choice.TeX-argument-promp
2720	74 20 6e 69 6c 20 22 48 65 61 64 69 6e 67 20 28 68 29 2c 20 4b 65 79 3d 76 61 6c 20 28 6b 29 2c	t.nil."Heading.(h),.Key=val.(k),
2740	20 45 6d 70 74 79 20 28 52 45 54 29 22 20 28 31 30 34 20 31 30 37 29 20 31 30 34 20 54 65 58 2d	.Empty.(RET)".(104.107).104.TeX-
2760	72 65 61 64 2d 73 74 72 69 6e 67 20 74 20 22 48 65 61 64 69 6e 67 22 20 31 30 37 20 54 65 58 2d	read-string.t."Heading".107.TeX-
2780	72 65 61 64 2d 6b 65 79 2d 76 61 6c 20 28 22 6e 61 6d 65 22 29 20 22 63 6f 6e 74 69 6e 75 65 73	read-key-val.("name")."continues
27a0	22 20 6d 61 70 63 61 72 20 63 61 72 20 4c 61 54 65 58 2d 6c 61 62 65 6c 2d 6c 69 73 74 20 22 72	".mapcar.car.LaTeX-label-list."r
27c0	65 73 74 61 74 65 22 20 28 28 22 6c 69 73 74 68 61 63 6b 22 20 28 22 74 72 75 65 22 20 22 66 61	estate".(("listhack".("true"."fa
27e0	6c 73 65 22 29 29 29 20 22 22 20 4c 61 54 65 58 2d 69 6e 73 65 72 74 2d 65 6e 76 69 72 6f 6e 6d	lse")))."".LaTeX-insert-environm
2800	65 6e 74 20 66 6f 72 6d 61 74 20 22 5b 25 73 5d 22 20 4c 61 54 65 58 2d 6c 61 62 65 6c 20 65 6e	ent.format."[%s]".LaTeX-label.en
2820	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 6e 64 65 6e 74 2d 61	vironment.LaTeX-newline.indent-a
2840	63 63 6f 72 64 69 6e 67 2d 74 6f 2d 6d 6f 64 65 5d 20 31 30 20 28 23 24 20 2e 20 38 39 33 31 29	ccording-to-mode].10.(#$...8931)
2860	5d 29 0a 28 54 65 58 2d 61 64 64 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 22 74 68 6d 74 6f 6f 6c 73	]).(TeX-add-style-hook."thmtools
2880	22 20 23 5b 30 20 22 5c 33 30 33 08 21 5c 32 31 30 5c 33 30 33 09 21 5c 32 31 30 5c 33 30 34 5c	".#[0."\303.!\210\303.!\210\304\
28a0	33 30 35 5c 33 30 36 5c 33 30 37 5c 33 31 30 5c 33 31 31 25 5c 32 31 30 5c 33 31 32 5c 33 31 33	305\306\307\310\311%\210\312\313
28c0	21 5c 32 30 35 20 00 5c 6e 5c 33 31 34 3d 5c 32 30 35 20 00 5c 33 31 35 5c 33 31 36 5c 33 31 37	!\205..\n\314=\205..\315\316\317
28e0	5c 22 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74	\"\207".[LaTeX-thmtools-declaret
2900	68 65 6f 72 65 6d 73 74 79 6c 65 2d 72 65 67 65 78 70 20 4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c	heoremstyle-regexp.LaTeX-thmtool
2920	73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 72 65 67 65 78 70 20 54 65 58 2d 69 6e 73 74	s-declaretheorem-regexp.TeX-inst
2940	61 6c 6c 2d 66 6f 6e 74 2d 6c 6f 63 6b 20 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 72 65 67 65 78	all-font-lock.TeX-auto-add-regex
2960	70 20 54 65 58 2d 61 64 64 2d 73 79 6d 62 6f 6c 73 20 28 22 64 65 63 6c 61 72 65 74 68 65 6f 72	p.TeX-add-symbols.("declaretheor
2980	65 6d 73 74 79 6c 65 22 20 4c 61 54 65 58 2d 61 72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c	emstyle".LaTeX-arg-thmtools-decl
29a0	61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 29 20 28 22 64 65 63 6c 61 72 65 74 68 65 6f 72 65	aretheoremstyle).("declaretheore
29c0	6d 22 20 4c 61 54 65 58 2d 61 72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65	m".LaTeX-arg-thmtools-declarethe
29e0	6f 72 65 6d 29 20 28 22 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 22 20 5b 4c 61 54 65 58 2d 61	orem).("listoftheorems".[LaTeX-a
2a00	72 67 2d 74 68 6d 74 6f 6f 6c 73 2d 6c 69 73 74 6f 66 74 68 65 6f 72 65 6d 73 5d 29 20 28 22 69	rg-thmtools-listoftheorems]).("i
2a20	67 6e 6f 72 65 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	gnoretheorems".(TeX-arg-eval.map
2a40	63 6f 6e 63 61 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	concat.#'identity.(TeX-completin
2a60	67 2d 72 65 61 64 2d 6d 75 6c 74 69 70 6c 65 20 28 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 70 72	g-read-multiple.(TeX-argument-pr
2a80	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 28 73 29 22 29 20 28	ompt.nil.nil."Environment(s)").(
2aa0	61 70 70 65 6e 64 20 28 77 68 65 6e 20 28 61 6e 64 20 28 66 62 6f 75 6e 64 70 20 27 4c 61 54 65	append.(when.(and.(fboundp.'LaTe
2ac0	58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 20 28 4c 61 54 65 58	X-amsthm-newtheorem-list).(LaTeX
2ae0	2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 29 20 28 6d 61 70 63 61	-amsthm-newtheorem-list)).(mapca
2b00	72 20 23 27 63 61 72 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	r.#'car.(LaTeX-amsthm-newtheorem
2b20	2d 6c 69 73 74 29 29 29 20 28 77 68 65 6e 20 28 61 6e 64 20 28 66 62 6f 75 6e 64 70 20 27 4c 61	-list))).(when.(and.(fboundp.'La
2b40	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 20 28 4c	TeX-ntheorem-newtheorem-list).(L
2b60	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 29 20	aTeX-ntheorem-newtheorem-list)).
2b80	28 6d 61 70 63 61 72 20 23 27 63 61 72 20 28 4c 61 54 65 58 2d 6e 74 68 65 6f 72 65 6d 2d 6e 65	(mapcar.#'car.(LaTeX-ntheorem-ne
2ba0	77 74 68 65 6f 72 65 6d 2d 6c 69 73 74 29 29 29 20 28 6d 61 70 63 61 72 20 23 27 63 61 72 20 28	wtheorem-list))).(mapcar.#'car.(
2bc0	4c 61 54 65 58 2d 74 68 6d 74 6f 6f 6c 73 2d 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 2d 6c 69	LaTeX-thmtools-declaretheorem-li
2be0	73 74 29 29 29 29 20 22 2c 22 29 29 20 28 22 6c 69 73 74 74 68 65 6f 72 65 6d 6e 61 6d 65 22 20	st)))).",")).("listtheoremname".
2c00	30 29 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	0).featurep.font-latex.font-late
2c20	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 20	x-setup.font-latex-add-keywords.
2c40	28 28 22 64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 73 74 79 6c 65 22 20 22 5b 7b 22 29 20 28 22	(("declaretheoremstyle"."[{").("
2c60	64 65 63 6c 61 72 65 74 68 65 6f 72 65 6d 22 20 22 5b 7b 5b 22 29 20 28 22 6c 69 73 74 6f 66 74	declaretheorem"."[{[").("listoft
2c80	68 65 6f 72 65 6d 73 22 20 22 5b 22 29 20 28 22 69 67 6e 6f 72 65 74 68 65 6f 72 65 6d 73 22 20	heorems"."[").("ignoretheorems".
2ca0	22 7b 22 29 29 20 66 75 6e 63 74 69 6f 6e 5d 20 36 5d 20 54 65 58 2d 64 69 61 6c 65 63 74 29 0a	"{")).function].6].TeX-dialect).
2cc0	23 40 34 33 20 50 61 63 6b 61 67 65 20 6f 70 74 69 6f 6e 73 20 66 6f 72 20 74 68 65 20 74 68 6d	#@43.Package.options.for.the.thm
2ce0	74 6f 6f 6c 73 20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68	tools.package...(defvar.LaTeX-th
2d00	6d 74 6f 6f 6c 73 2d 70 61 63 6b 61 67 65 2d 6f 70 74 69 6f 6e 73 20 6e 69 6c 20 28 23 24 20 2e	mtools-package-options.nil.(#$..
2d20	20 31 31 34 36 31 29 29 0a	.11461)).