blob: 912bbc6dd03e62bfca76592b79a83034dffe4056 (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 35 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20	tex.latex].2).#@105.Information.
00a0	61 62 6f 75 74 20 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72	about.thmrestate-restatable-macr
00c0	6f 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61	os.in.the.current.buffer..Genera
00e0	74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e 1f 0a 28 64 65	ted.by.`TeX-auto-add-type'...(de
0100	66 76 61 72 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61	fvar.LaTeX-auto-thmrestate-resta
0120	74 61 62 6c 65 2d 6d 61 63 72 6f 20 6e 69 6c 20 28 23 24 20 2e 20 31 34 38 29 29 0a 23 40 31 30	table-macro.nil.(#$...148)).#@10
0140	35 20 49 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 6d 72 65 73 74 61 74 65 2d 72	5.Information.about.thmrestate-r
0160	65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 73 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20	estatable-macros.in.the.current.
0180	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
01a0	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 72 65 73 74	dd-type'...(defvar.LaTeX-thmrest
01c0	61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 2d 6c 69 73 74 20 6e 69 6c 20 28 23	ate-restatable-macro-list.nil.(#
01e0	24 20 2e 20 33 32 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	$...322)).(make-variable-buffer-
0200	6c 6f 63 61 6c 20 27 4c 61 54 65 58 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62	local.'LaTeX-thmrestate-restatab
0220	6c 65 2d 6d 61 63 72 6f 2d 6c 69 73 74 29 0a 23 40 31 30 35 20 49 6e 66 6f 72 6d 61 74 69 6f 6e	le-macro-list).#@105.Information
0240	20 61 62 6f 75 74 20 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63	.about.thmrestate-restatable-mac
0260	72 6f 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	ros.in.the.current.buffer..Gener
0280	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
02a0	65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c	efvar.LaTeX-thmrestate-restatabl
02c0	65 2d 6d 61 63 72 6f 2d 63 68 61 6e 67 65 64 20 6e 69 6c 20 28 23 24 20 2e 20 35 36 35 29 29 0a	e-macro-changed.nil.(#$...565)).
02e0	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 4c 61 54	(make-variable-buffer-local.'LaT
0300	65 58 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 2d 63	eX-thmrestate-restatable-macro-c
0320	68 61 6e 67 65 64 29 0a 23 40 31 35 30 20 41 64 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62	hanged).#@150.Add.information.ab
0340	6f 75 74 20 54 48 4d 52 45 53 54 41 54 45 2d 52 45 53 54 41 54 41 42 4c 45 2d 4d 41 43 52 4f 53	out.THMRESTATE-RESTATABLE-MACROS
0360	20 74 6f 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47 65 6e 65 72 61 74 65	.to.the.current.buffer..Generate
0380	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 0a 0a 28 66 6e 20 26	d.by.`TeX-auto-add-type'...(fn.&
03a0	72 65 73 74 20 54 48 4d 52 45 53 54 41 54 45 2d 52 45 53 54 41 54 41 42 4c 45 2d 4d 41 43 52 4f	rest.THMRESTATE-RESTATABLE-MACRO
03c0	53 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 61 64 64 2d 74 68 6d 72 65 73 74	S)..(defalias.'LaTeX-add-thmrest
03e0	61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 73 20 23 5b 31 32 38 20 22 5c 33 30	ate-restatable-macros.#[128."\30
0400	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 6e 66 6f	0\301.\"\207".[TeX-auto-add-info
0420	72 6d 61 74 69 6f 6e 20 22 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d	rmation."thmrestate-restatable-m
0440	61 63 72 6f 22 5d 20 34 20 28 23 24 20 2e 20 38 31 34 29 5d 29 0a 23 40 31 30 32 20 4c 69 73 74	acro"].4.(#$...814)]).#@102.List
0460	20 6f 66 20 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 73	.of.thmrestate-restatable-macros
0480	20 61 63 74 69 76 65 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20 62 75 66 66 65 72 2e 0a 47	.active.in.the.current.buffer..G
04a0	65 6e 65 72 61 74 65 64 20 62 79 20 60 54 65 58 2d 61 75 74 6f 2d 61 64 64 2d 74 79 70 65 27 2e	enerated.by.`TeX-auto-add-type'.
04c0	1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65	..(defalias.'LaTeX-thmrestate-re
04e0	73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 2d 6c 69 73 74 20 23 5b 30 20 22 5c 33 30 30 5c 33 30	statable-macro-list.#[0."\300\30
0500	31 21 5c 32 30 37 22 20 5b 54 65 58 2d 61 75 74 6f 2d 6c 69 73 74 2d 69 6e 66 6f 72 6d 61 74 69	1!\207".[TeX-auto-list-informati
0520	6f 6e 20 22 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 22	on."thmrestate-restatable-macro"
0540	5d 20 32 20 28 23 24 20 2e 20 31 31 31 36 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33	].2.(#$...1116)]).(byte-code."\3
0560	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 30 36 5c	00\301\302\303#\210\304\305\306\
0580	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 70 61 72	"\207".[add-to-list.TeX-auto-par
05a0	73 65 72 20 28 22 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72	ser.("thmrestate-restatable-macr
05c0	6f 22 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61	o".LaTeX-auto-thmrestate-restata
05e0	62 6c 65 2d 6d 61 63 72 6f 20 4c 61 54 65 58 2d 61 64 64 2d 74 68 6d 72 65 73 74 61 74 65 2d 72	ble-macro.LaTeX-add-thmrestate-r
0600	65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 73 20 4c 61 54 65 58 2d 74 68 6d 72 65 73 74 61 74	estatable-macros.LaTeX-thmrestat
0620	65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 2d 6c 69 73 74 20 4c 61 54 65 58 2d 74 68	e-restatable-macro-list.LaTeX-th
0640	6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 2d 63 68 61 6e 67 65	mrestate-restatable-macro-change
0660	64 29 20 74 20 61 64 64 2d 68 6f 6f 6b 20 54 65 58 2d 72 65 6d 6f 76 65 2d 73 74 79 6c 65 2d 68	d).t.add-hook.TeX-remove-style-h
0680	6f 6f 6b 20 23 5b 30 20 22 5c 33 30 31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74	ook.#[0."\301\211.\207".[LaTeX-t
06a0	68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 2d 6c 69 73 74 20	hmrestate-restatable-macro-list.
06c0	6e 69 6c 5d 20 32 5d 5d 20 34 29 0a 28 64 65 66 76 61 72 20 4c 61 54 65 58 2d 74 68 6d 72 65 73	nil].2]].4).(defvar.LaTeX-thmres
06e0	74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 72 63 6f 2d 72 65 67 65 78 70 20 28 63 6f	tate-restatable-marco-regexp.(co
0700	6e 73 20 22 5c 5c 5c 5c 62 65 67 69 6e 7b 72 65 73 74 61 74 61 62 6c 65 7d 5b 20 09 5c 6e 0d 25	ns."\\\\begin{restatable}[..\n.%
0720	5d 2a 5c 5c 28 3f 3a 5c 5c 5b 5b 5e 5d 5d 2a 5c 5c 5d 5c 5c 29 3f 5b 20 09 5c 6e 0d 25 5d 2a 5c	]*\\(?:\\[[^]]*\\]\\)?[..\n.%]*\
0740	5c 28 3f 3a 7b 5b 5e 7d 5d 2b 7d 5c 5c 29 5b 20 09 5c 6e 0d 25 5d 2a 7b 5c 5c 28 5b 5e 7d 5d 2b	\(?:{[^}]+}\\)[..\n.%]*{\\([^}]+
0760	5c 5c 29 7d 22 20 27 28 31 20 4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 72 65 73 74 61 74 65 2d	\\)}".'(1.LaTeX-auto-thmrestate-
0780	72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 29 29 29 0a 23 40 36 34 20 43 6c 65 61 72 20 60	restatable-macro))).#@64.Clear.`
07a0	4c 61 54 65 58 2d 61 75 74 6f 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65	LaTeX-auto-thmrestate-restatable
07c0	2d 6d 61 63 72 6f 27 20 62 65 66 6f 72 65 20 70 61 72 73 69 6e 67 2e 1f 0a 28 64 65 66 61 6c 69	-macro'.before.parsing...(defali
07e0	61 73 20 27 4c 61 54 65 58 2d 74 68 6d 72 65 73 74 61 74 65 2d 61 75 74 6f 2d 70 72 65 70 61 72	as.'LaTeX-thmrestate-auto-prepar
0800	65 20 23 5b 30 20 22 5c 33 30 31 5c 32 31 31 10 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 61 75 74	e.#[0."\301\211.\207".[LaTeX-aut
0820	6f 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 20 6e 69	o-thmrestate-restatable-macro.ni
0840	6c 5d 20 32 20 28 23 24 20 2e 20 31 39 34 35 29 5d 29 0a 23 40 35 31 20 50 72 6f 63 65 73 73 20	l].2.(#$...1945)]).#@51.Process.
0860	70 61 72 73 65 64 20 65 6c 65 6d 65 6e 74 73 20 66 72 6f 6d 20 74 68 6d 2d 72 65 73 74 61 74 65	parsed.elements.from.thm-restate
0880	20 70 61 63 6b 61 67 65 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 74 68 6d 72	.package...(defalias.'LaTeX-thmr
08a0	65 73 74 61 74 65 2d 61 75 74 6f 2d 63 6c 65 61 6e 75 70 20 23 5b 30 20 22 5c 33 30 30 5c 33 30	estate-auto-cleanup.#[0."\300\30
08c0	31 5c 33 30 32 20 5c 22 5c 32 31 31 5c 32 30 35 1d 00 5c 32 31 31 40 5c 33 30 33 01 5c 33 30 34	1\302.\"\211\205..\211@\303.\304
08e0	42 02 5c 33 30 35 50 5c 33 30 36 42 5c 22 5c 32 31 30 01 41 5c 32 36 36 5c 32 30 32 5c 32 30 32	B.\305P\306B\"\210.A\266\202\202
0900	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 72 65 73	..\207".[mapcar.car.LaTeX-thmres
0920	74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 2d 6d 61 63 72 6f 2d 6c 69 73 74 20 54 65 58 2d 61	tate-restatable-macro-list.TeX-a
0940	64 64 2d 73 79 6d 62 6f 6c 73 20 28 30 29 20 22 2a 22 20 28 30 29 5d 20 36 20 28 23 24 20 2e 20	dd-symbols.(0)."*".(0)].6.(#$...
0960	32 31 33 36 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 32	2136)]).(byte-code."\300\301\302
0980	5c 33 30 33 23 5c 32 31 30 5c 33 30 30 5c 33 30 34 5c 33 30 35 5c 33 30 33 23 5c 32 31 30 5c 33	\303#\210\300\304\305\303#\210\3
09a0	30 30 5c 33 30 36 5c 33 30 37 5c 33 30 33 23 5c 32 30 37 22 20 5b 61 64 64 2d 68 6f 6f 6b 20 54	00\306\307\303#\207".[add-hook.T
09c0	65 58 2d 61 75 74 6f 2d 70 72 65 70 61 72 65 2d 68 6f 6f 6b 20 4c 61 54 65 58 2d 74 68 6d 72 65	eX-auto-prepare-hook.LaTeX-thmre
09e0	73 74 61 74 65 2d 61 75 74 6f 2d 70 72 65 70 61 72 65 20 74 20 54 65 58 2d 61 75 74 6f 2d 63 6c	state-auto-prepare.t.TeX-auto-cl
0a00	65 61 6e 75 70 2d 68 6f 6f 6b 20 4c 61 54 65 58 2d 74 68 6d 72 65 73 74 61 74 65 2d 61 75 74 6f	eanup-hook.LaTeX-thmrestate-auto
0a20	2d 63 6c 65 61 6e 75 70 20 54 65 58 2d 75 70 64 61 74 65 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 54	-cleanup.TeX-update-style-hook.T
0a40	65 58 2d 61 75 74 6f 2d 70 61 72 73 65 5d 20 34 29 0a 23 40 38 36 20 49 6e 73 65 72 74 20 61 72	eX-auto-parse].4).#@86.Insert.ar
0a60	67 75 6d 65 6e 74 73 20 66 6f 72 20 72 65 73 74 61 74 61 62 6c 65 20 65 6e 76 69 72 6f 6e 6d 65	guments.for.restatable.environme
0a80	6e 74 20 66 72 6f 6d 20 74 68 6d 2d 72 65 73 74 61 74 65 20 70 61 63 6b 61 67 65 2e 0a 0a 28 66	nt.from.thm-restate.package...(f
0aa0	6e 20 4f 50 54 49 4f 4e 41 4c 29 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 4c 61 54 65 58 2d 65 6e	n.OPTIONAL)..(defalias.'LaTeX-en
0ac0	76 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 20 23 5b 32 35 37 20 22 08	v-thmrestate-restatable.#[257.".
0ae0	09 1a 1b 5c 33 30 34 5c 33 30 35 5c 33 30 36 5c 33 30 37 5c 33 31 30 5c 33 31 31 23 21 5c 33 30	...\304\305\306\307\310\311#!\30
0b00	37 5c 22 5c 32 31 30 2a 5c 33 30 34 5c 33 31 32 5c 33 30 36 03 5c 33 31 30 5c 33 31 33 23 5c 33	7\"\210*\304\312\306.\310\313#\3
0b20	31 34 5c 33 31 35 5c 33 31 36 21 5c 32 30 35 25 00 5c 33 31 36 20 5c 32 30 35 25 00 5c 33 31 36	14\315\316!\205%.\316.\205%.\316
0b40	20 5c 33 31 35 5c 33 31 37 21 5c 32 30 35 32 00 5c 33 31 37 20 5c 32 30 35 32 00 5c 33 31 37 20	.\315\317!\2052.\317.\2052.\317.
0b60	5c 33 32 30 20 23 5c 22 02 5c 22 5c 32 31 30 5c 33 30 35 5c 33 30 36 02 5c 33 31 30 5c 33 32 31	\320.#\".\"\210\305\306.\310\321
0b80	23 21 5c 33 32 32 01 5c 33 32 33 42 02 5c 33 32 34 50 5c 33 32 35 42 5c 22 5c 32 31 30 5c 33 30	#!\322.\323B.\324P\325B\"\210\30
0ba0	34 01 03 5c 22 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 6f 70 74 6f 70 20 4c 61 54 65 58 2d 6f 70	4..\"\207".[LaTeX-optop.LaTeX-op
0bc0	74 63 6c 20 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	tcl.TeX-arg-closing-brace.TeX-ar
0be0	67 2d 6f 70 65 6e 69 6e 67 2d 62 72 61 63 65 20 54 65 58 2d 61 72 67 75 6d 65 6e 74 2d 69 6e 73	g-opening-brace.TeX-argument-ins
0c00	65 72 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 65 6e 74	ert.TeX-read-string.TeX-argument
0c20	2d 70 72 6f 6d 70 74 20 74 20 6e 69 6c 20 22 48 65 61 64 69 6e 67 22 20 63 6f 6d 70 6c 65 74 69	-prompt.t.nil."Heading".completi
0c40	6e 67 2d 72 65 61 64 20 22 45 6e 76 69 72 6f 6e 6d 65 6e 74 22 20 61 70 70 65 6e 64 20 66 62 6f	ng-read."Environment".append.fbo
0c60	75 6e 64 70 20 4c 61 54 65 58 2d 61 6d 73 74 68 6d 2d 6e 65 77 74 68 65 6f 72 65 6d 2d 6c 69 73	undp.LaTeX-amsthm-newtheorem-lis
0c80	74 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 2d 6c 69 73 74	t.LaTeX-ntheorem-newtheorem-list
0ca0	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 2d 6c	.LaTeX-thmtools-declaretheorem-l
0cc0	69 73 74 20 22 4d 61 63 72 6f 22 20 54 65 58 2d 61 64 64 2d 73 79 6d 62 6f 6c 73 20 28 30 29 20	ist."Macro".TeX-add-symbols.(0).
0ce0	22 2a 22 20 28 30 29 5d 20 38 20 28 23 24 20 2e 20 32 36 34 37 29 5d 29 0a 28 54 65 58 2d 61 64	"*".(0)].8.(#$...2647)]).(TeX-ad
0d00	64 2d 73 74 79 6c 65 2d 68 6f 6f 6b 20 22 74 68 6d 2d 72 65 73 74 61 74 65 22 20 23 5b 30 20 22	d-style-hook."thm-restate".#[0."
0d20	5c 33 30 31 5c 33 30 32 21 5c 32 31 30 5c 33 30 33 08 21 5c 32 31 30 5c 33 30 34 5c 33 30 35 5c	\301\302!\210\303.!\210\304\305\
0d40	33 30 36 5c 22 5c 32 30 37 22 20 5b 4c 61 54 65 58 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73	306\"\207".[LaTeX-thmrestate-res
0d60	74 61 74 61 62 6c 65 2d 6d 61 72 63 6f 2d 72 65 67 65 78 70 20 54 65 58 2d 72 75 6e 2d 73 74 79	tatable-marco-regexp.TeX-run-sty
0d80	6c 65 2d 68 6f 6f 6b 73 20 22 74 68 6d 74 6f 6f 6c 73 22 20 54 65 58 2d 61 75 74 6f 2d 61 64 64	le-hooks."thmtools".TeX-auto-add
0da0	2d 72 65 67 65 78 70 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	-regexp.LaTeX-add-environments.(
0dc0	22 72 65 73 74 61 74 61 62 6c 65 22 20 4c 61 54 65 58 2d 65 6e 76 2d 61 72 67 73 20 4c 61 54 65	"restatable".LaTeX-env-args.LaTe
0de0	58 2d 65 6e 76 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 29 20 28 22 72	X-env-thmrestate-restatable).("r
0e00	65 73 74 61 74 61 62 6c 65 2a 22 20 4c 61 54 65 58 2d 65 6e 76 2d 61 72 67 73 20 4c 61 54 65 58	estatable*".LaTeX-env-args.LaTeX
0e20	2d 65 6e 76 2d 74 68 6d 72 65 73 74 61 74 65 2d 72 65 73 74 61 74 61 62 6c 65 29 5d 20 33 5d 20	-env-thmrestate-restatable)].3].
0e40	54 65 58 2d 64 69 61 6c 65 63 74 29 0a	TeX-dialect).