isabelle: doc-src/System/browser_screenshot.eps@aeb97860d352 (annotated)

3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1	%!PS-Adobe-2.0 EPSF-2.0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	2	%%Title: /home/stefan/java/isa/doc/screenshot4.ps
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	3	%%Creator: XV Version 3.10a Rev: 12/29/94 - by John Bradley
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	4	%%BoundingBox: -51 173 649 669
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	5	%%Pages: 1
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	6	%%DocumentFonts:
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	7	%%EndComments
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	8	%%EndProlog
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	9
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	10	%%Page: 1 1
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	11
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	12	% remember original state
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	13	/origstate save def
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	14
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	15	% build a temporary dictionary
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	16	20 dict begin
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	17
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	18	% define string to hold a scanline's worth of data
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	19	/pix 88 string def
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	20
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	21	% define space for color conversions
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	22	/grays 700 string def % space for gray scale line
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	23	/npixls 0 def
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	24	/rgbindx 0 def
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	25
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	26	% lower left corner
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	27	-51 173 translate
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	28
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	29	% size of image (on paper, in 1/72inch coords)
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	30	699.98400 496.00800 scale
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	31
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	32	% dimensions of data
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	33	700 496 1
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	34
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	35	% mapping matrix
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	36	[700 0 0 -496 0 496]
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	37
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	38	{currentfile pix readhexstring pop}
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	39	image
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	40	fffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	41	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	42	fffffffffffffffffffffffffdffffe0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	43	fbdef6f7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	44	7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7b
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	45	def7bdef7bdef7bdef7bdef7bdef7bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	46	ca528694a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a529
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	47	4a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	48	5294a5294a5294a5294a5294a1294a40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	49	dad5b6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	50	5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5a
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	51	d6b5ad6b5ad6b5ad6b5ad6b55d6b5540
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	52	e00000000000000000000000000000000000000000000000000000000000000000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	53	000000000000000000000000000000000000000000000000000000000000000000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	54	00000000000000000000000000000140
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	55	d7fff7fff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	56	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	57	fffffffffffffffffffffdfffdfffd40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	58	d6aaa5555555555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	59	555555555555555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	60	55555555555555555555555555555540
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	61	e55555555555555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	62	55540aaaaaa8a80555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	63	555555555555555555555555555555c0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	64	d555555ca755555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	65	555445555554aa22aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	66	aaaaaaaaaaaaaaaaaaaaa9dfe9aaa980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	67	d6b556b554aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	68	aaa8a2aaaaa8544555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	69	55555555555555555555552d2556b540
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	70	e5aaa554d755555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	71	5554540a04040a240a04a20a040aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	72	aaaaaaaaaaaaaaaaaaaab5d955ab2940
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	73	d6ff95fba4db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	74	6db4a822a420220824a0a4a4a426db6db6db6db6db6db6db6db6db6db6db6db6db6db6db
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	75	6db6db6db6db6db6db6da95695565540
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	76	e6cab6d516aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	77	aaa8546a0064c444a8a44408a0a955555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	78	5555555555555555555555aea9b695c0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	79	d2b526aa9555555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	80	5554c454a4c02220a8a0a5080456aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	81	aaaaaaaaaaaaaaaaaaaaa9aa95aaa980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	82	d580150426aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	83	aaa820a84024a44454440544a8d555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	84	5555555555555555555554ab295d5540
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	85	d55766bdd555555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	86	5554c45444444220a8a000a0442aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	87	aaaaaaaaaaaaaaaaaaaab5ab35554940
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	88	d6b5555056b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	89	b6b408aa0008a4046a06440a08d5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	90	b5b5b5b5b5b5b5b5b5b5555555b01540
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	91	e6aaa6b1a555555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	92	55aaab5aacaaaaad555956aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	93	aaaaaaaaaaaaaaaaad56a9daa9ab55c0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	94	d55555ad56aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	95	aaaaaaaaa855555555555555555555555555555555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	96	55555555555555555555552b55aaa980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	97	d40004000400000000000000000000000000000000000000000000000000000000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	98	000000000000000000000000000000000000000000000000000000000000000000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	99	00000000000000000000010001000140
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	100	000080000080808080808080808080808080808080808080808080808080808080808081
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	101	000200804104404108082000410804040404040404040404040404040404040404040404
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	102	04040404040404080000404040108000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	103	f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	104	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	105	ffffffffffffffffffffffffffffffe0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	106	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	107	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	108	fffffffffffffffffffffffffffffd40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	109	f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	110	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	111	fffffffffffffffffffffffffffffb40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	112	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	113	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	114	fffffffffffffffffffffffffffffdc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	115	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	116	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	117	fffffffffffffffffffffffffffff980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	118	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	119	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	120	fffffffffffffffffffffffffffffd40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	121	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	122	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	123	fffffffffffffffffffffffffffff940
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	124	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	125	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	126	fffffffffffffffffffffffffffffdc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	127	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	128	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	129	fffffffffffffffffffffffffffff980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	130	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	131	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	132	fffffffffffffffffffffffffffffd40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	133	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	134	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	135	fffffffffffffffffffffffffffff940
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	136	d7ffc1fe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	137	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	138	fffffffffffffffffffffffffffffdc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	139	e7ffdfdf7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	140	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	141	fffffffffffffffffffffffffffff980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	142	d7ffdfff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	143	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	144	fffffffffffffffffffffffffffffd40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	145	d7ffdf9f78ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	146	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	147	fffffffffffffffffffffffffffff940
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	148	d7ffc3df777fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	149	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	150	fffffffffffffffffffffffffffffdc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	151	d7ffdfdf707fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	152	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	153	fffffffffffffffffffffffffffff980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	154	e7ffdfdf77ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	155	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	156	fffffffffffffffffffffffffffffd40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	157	d7ffdfdf777fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	158	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	159	fffffffffffffffffffffffffffff940
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	160	d7ffdf8e38ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	161	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	162	fffffffffffffffffffffffffffffdc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	163	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	164	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	165	fffffffffffffffffffffffffffff980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	166	e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	167	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	168	fffffffffffffffffffffffffffffd40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	169	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	170	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	171	fffffffffffffffffffffffffffff940
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	172	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	173	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	174	fffffffffffffffffffffffffffffdc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	175	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	176	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	177	fffffffffffffffffffffffffffff980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	178	e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	179	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	180	fffffffffffffffffffffffffffffd40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	181	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	182	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	183	fffffffffffffffffffffffffffff940
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	184	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	185	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	186	fffffffffffffffffffffffffffffdc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	187	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	188	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	189	fffffffffffffffffffffffffffff980
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	190	e72492492492492492492492492492492492492492492492492492492492492492492492
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	191	492492492492492492492492492492492492492492492492492492492492492492492492
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	192	49249249249249249249249249249540
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	193	d44924924924924924924924924924924924924924924924924924924924924924924924
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	194	924924924924924924924924924924924924924924924924924924924924924924924924
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	195	92492492492492492492492492492540
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	196	d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	197	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	198	ffffffffffffffffffffffffffffffc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	199	e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	200	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	201	ffffffffffffffffffffffffffffff80
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	202	d7db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6d
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	203	b6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6d
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	204	b6db6db6db6db6db6db6db6db6db6d40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	205	e6ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	206	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	207	ffffffffffffffffffffffffffffff40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	208	d7bfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	209	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	210	ffffffffffffffffffffffffffffffc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	211	e7f7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7f6dbbfdfeff7fb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	212	fdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	213	fdfeff7fbfdfeff7fbfdfeff7fbfb680
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	214	d5fdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fdffefffeff7fbfdfe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	215	ff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	216	ff7fbfdfeff7fbfdfeff7fbfefff7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	217	e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffdbbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	218	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	219	ffffffffffffffffffffffffffff7fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	220	d77fffffffffffffffffffffffffffffffffffffffffffffffffffffffaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	221	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	222	fffffffffffffffffffffffffffcdb40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	223	e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	224	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	225	fffffffffffffffffffffffffffd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	226	d5fffffffffffffffffffffffffffffffffffffffffffffffffffffffeafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	227	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	228	fffffffffffffffffffffffffff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	229	e77fffffffffffffffffffffffffffffffffffffffffffffffffffffff5bf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	230	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	231	fffffffffffffffffffffffffff57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	232	d7ffffffffffffffffffffffffffffffffffffffffffffffffffe00006aeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	233	fffffffffffffffffffffffffffffffdffffffffffffffffeffffefffff7ffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	234	fffffffffdfffc7fffffff00003adf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	235	e7ffffffffffffffffffffffffffffffffffffffffffffffffffeaaaaeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	236	fffffffffffffffffffffffffffffffdffffffffffffffffefffff3ffff7ffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	237	fffffffffdffc3ffffffffaaaaf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	238	d77ffffffffffffffffffffffffffffffffffffffffffffffffff7fffeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	239	fffffffffffffffffffffffffffffffbffffffffffffffffdfffffdffffbffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	240	fffffffffefc3fffffffff3ffff57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	241	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe6b2bf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	242	fffffffffffffffffffffffffffffffbffffffffffffffffdfffffeffffdffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	243	ffffffffff63ffffffffffb5aaf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	244	d6fffffffffffffffffffffffffffffffffffffffffffffffffff5fbfeaf6fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	245	fffffffffffffffffffffffffffffffbffffffffffffffffbffffff3fffdffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	246	fffffffffe1fffffffffff2f9ff57b00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	247	67bffffffffffffffffffffffe3fffffffffffffffffffffffffe772beaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	248	fffffffffffffffffffffffffffffffbffffffffffffffffbffffffdfffeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	249	fffffffff1bfffffffffffbbd5fadfc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	250	d7fffffffffffffffffffffffe0ffffff8fffffffffffffffffff5fdffadffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	251	fffffffffffffffffffffffffffffff7ffffffffffffffffbffffffe7fff7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	252	ffffffff0fdfffffffffff2fcff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	253	e5fffffffffffffffffffffffe03ffffe73fffffffffffffffffe7795f2fdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	254	fffffffffffffffffffffffffffffff7ffffffffffffffff7fffffffbfff7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	255	fffffff0ffdfffffffffffbbd5f57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	256	d77ffffffffffffffffffffffe00ffffefbffffffffffffffffff5fcff6ff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	257	fffffffffffffffffffffffffffffff7ffffffffffffffff7fffffffcfffbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	258	ffffff8fffefffffffffff2fe7fadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	259	e7fffffffffffffffffffffffe003fffeff86728ffffffffffffe7debe9b7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	260	fffffffffffffffffffffffffffffff7fffffffffffffffefffffffff7ffdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	261	fffff87ffff7ffffffffffbfeaf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	262	d7fffffffffffffffffffffffe000ffff3f337667ffffffffffff5fe7eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	263	fffffffffffffffffffffffffffffff7fffffffffffffffefffffffff9ffdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	264	ffff87fffff7ffffffffff2ef3f57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	265	e5bffffffffffffffffffffffe0003fffcf7baef7fffffffffffe7f75eafdbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	266	ffffffffffffffffffffffffffffffeffffffffffffffffdfffffffffeffefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	267	fffc7ffffffbffffffffffbffbf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	268	d7fffffffffffffffffffffffe0000ffff303def7ffffffffffff7fdbfaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	269	ffffffffffffffffffffffffffffffeffffffffffffffffdffffffffff3ff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	270	ffc3fffffffdffffffffff3fb9fd6f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	271	e7fffffffffffffffffffffffe0001ffffb7fdef7fffffffffffebbf3eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	272	ffffffffffffffffffffffffffffffeffffffffffffffffdffffffffffdff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	273	fc3ffffffffdffffffffff5dfdf97dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	274	d77ffffffffffffffffffffffe0007ffefb7faef7fffffffffffe6405eabb7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	275	ffffffffffffffffffffffffffffffeffffffffffffffffbffffffffffe7fbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	276	e3fffffffffeffffffffffb200fb7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	277	e5fffffffffffffffffffffffe001fffe73337667fffffffffffed2a9f5fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	278	ffffffffffffffffffffffffffffffeffffffffffffffffbfffffffffffbfbfffffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	279	1ffffffffffeffffffffff34aaf56f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	280	d7fffffffffffffffffffffffe007ffff8f86728ffffffffffffe7dffeaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	281	ffffffffffffffffffffffffffffffdffffffffffffffff7fffffffffffcfdffffffffe1
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	282	ffffffffffff7fffffffffafdff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	283	e7bffffffffffffffffffffffe01ffffffffffeffffffffffffff57abeaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	284	ffffffffffffffffffffffffffffffdffffffffffffffff7ffffffffffff7effffffff1f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	285	ffffffffffffbfffffffff3575f57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	286	d5fffffffffffffffffffffffe07ffffffffffefffffffffffffe7d7feaf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	287	ffffffffffffffffffffffffffffffdfffffffffffffffefffffffffffff9efffffff0ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	288	ffffffffffffbfffffffffbfeff57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	289	d7fffffffffffffffffffffffe1fffffffffffefffffffffffffeabebfabdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	290	ffffffffffffffffffffffffffffffdfffffffffffffffefffffffffffffef7fffff8fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	291	ffffffffffffdfffffffff555afd7b00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	292	e77ffffffffffffffffffffffe7ffffffffffffffffffffffffff7f5fe5fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	293	ffffffffffffffffffffffffffffffdfffffffffffffffdffffffffffffff3bffff87fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	294	ffffffffffffefffffffff3ff7f2dfc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	295	d7ffffffffffffffffffffffffffffffffffffffffffffffffffeaaf5faff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	296	ffffffffffffffffffffffffffffffbfffffffffffffffdffffffffffffffdbfff87ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	297	ffffffffffffefffffffff555dfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	298	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7fafe2dbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	299	ffffffffffffffffffffffffffffffbfffffffffffffffdffffffffffffffe5ffc7fffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	300	fffffffffffff7ffffffffbff7f97b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	301	d77ffffffffffffffffffffffffffffffffffffffffffffffffff557bfafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	302	ffffffffffffffffffffffffffffffbfffffffffffffffbfffffffffffffffafc3ffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	303	fffffffffffffbffffffff2aaefadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	304	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7fd7eaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	305	ffffffffffffffffffffffffffffffbfffffffffffffffbfffffffffffffffcc3fffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	306	fffffffffffffbffffffffbffdf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	307	d7fffffffffffffffffffffffffffffffffffffffffffffffffff557deafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	308	ffffffffffffffffffffffffffffff7fffffffffffffff3fffffff800000000000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	309	7fffe000000000000000002aabf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	310	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7fd7eafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	311	ffffffffffffffffffffffffffffff7fffffffffffffff7fffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	312	7fffefffffffffffffffffb7fdf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	313	d3fffffffffffffffffffffffe3ffffffffffffffffffffffffff557ffadffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	314	ffffffffffffffffffffffffffffff7ffffffffffffffeffffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	315	7fffefffffffffffffffff3d57fadf00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	316	d6fffffffffffffffffffffffe0ffffffc7fffdfffffffffffffe6fd5eaf7bffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	317	ffffffffffffffffffffffffffffff7ffffffffffffffeffffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	318	7fffefffffffffffffffffabfef57dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	319	d7fffffffffffffffffffffffe03fffff39ffddffffffffffffff7abfeafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	320	ffffffffffffffffffffffffffffff7ffffffffffffffeffffffffbff7ffdfffedffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	321	7fffeffffffddd81ffffff3eabf56f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	322	e7bffffffffffffffffffffffe00fffff7dffdffffffffffffffe57ebeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	323	fffffffffffffffffffffffffffffefffffffffffffffdffffffffbff7ffdfffefffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	324	7fffeffffffdddbfffffff55fdf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	325	d7fffffffffffffffffffffffe003fffefed185c3a3ffffffffff7d5feadffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	326	fffffffffffffffffffffffffffffefffffffffffffffdffffffffbff69e5bb8c5bb8fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	327	7fffeffffffdddbfffffff3f57fd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	328	e6fffffffffffffffffffffffe000fffefeccdd9999fffffffffe57fbfafb7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	329	fffffffffffffffffffffffffffffefffffffffffffffbffffffffbff66d9bb76dbb77ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	330	7fffeffffffedbbfffffffaafdf97740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	331	d7fffffffffffffffffffffffe0003ffefededdbdbdffffffffff7d57eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	332	fffffffffffffffffffffffffffffcfffffffffffffffbffffffffbff6eddbb7edbb77ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	333	7fffeffffffeab83ffffff3fabf6dfc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	334	e5fffffffffffffffffffffffe0000ffefededdbdbdfffffffffe6bfdeaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	335	fffffffffffffffffffffffffffffdfffffffffffffff7ffffffffbff6eddbb7edd707ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	336	7fffeffffffeabbfffffffb57ef97b00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	337	d77ffffffffffffffffffffffe0001ffefededdbdbdffffffffff5f57eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	338	fffffffffffffffffffffffffffffdfffffffffffffff7ffffffffbff6eddbb7edd77fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	339	7fffefffffff77bfffffff2febf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	340	e7fffffffffffffffffffffffe0007fff7ddeddbdbdfffffffffe7afff5bbbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	341	fffffffffffffffffffffffffffffdffffffffffffffefffffffffbff6ed9b376def77ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	342	7fffefffffff77bfffffffbd5dfadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	343	d7fffffffffffffffffffffffe001ffff39ccdd99bdffffffffff5755eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	344	fffffffffffffffffffffffffffffdffffffffffffffefffffffffbff6ee5cb8e5ef8fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	345	7fffefffffff77bfffffff2bf7f57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	346	e77ffffffffffffffffffffffe807ffffc7d1e5c3bdfffffffffe7dffeaddfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	347	fffffffffffffffffffffffffffffbffffffffffffffefffffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	348	7fffefffffffffffffffffbd5ef57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	349	d5fffffffffffffffffffffffe01fffffffdfffffffffffffffff56abeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	350	fffffffffffffffffffffffffffffbffffffffffffffdfffffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	351	7fffefffffffffffffffff37ebfd6f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	352	67fffffffffffffffffffffffe07fffffffdffffffffffffffffe7ffffaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	353	fffffffffffffffffffffffffffffbffffffffffffffdfffffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	354	7fffefffffffffffffffffaebdf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	355	d77ffffffffffffffffffffffe1ffffffffdffffffffffffffffeaaabeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	356	fffffffffffffffffffffffffffffbffffffffffffffbfffffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	357	7fffefffffffffffffffff35f7f57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	358	e7fffffffffffffffffffffffe7fffffffffffffffffffffffffe77f7eaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	359	fffffffffffffffffffffffffffff7ffffffffffffffbfffffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	360	7fffefffffffffffffffffbfaef57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	361	d5fffffffffffffffffffffffffffffffffffffffffffffffffff5d5df5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	362	fffffffffffffffffffffffffffff7ffffffffffffff7fffffffff800000000000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	363	7fffe00000000000000000557bf56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	364	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7bf7eaedfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	365	fffffffffffffffffffffffffffff7ffffffffffffff7fffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	366	fffffffffffffbffffffff3fadfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	367	d7fffffffffffffffffffffffffffffffffffffffffffffffffff56afeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	368	ffffffffffffffffffffffffffffe7fffffffffffffeffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	369	fffffffffffffbffffffffaaf7f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	370	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7dfdeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	371	ffffffffffffffffffffffffffffeffffffffffffffeffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	372	fffffffffffff7ffffffff3fddf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	373	d77ffffffffffffffffffffffffffffffffffffffffffffffffff5757fadbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	374	ffffffffffffffffffffffffffffeffffffffffffffeffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	375	ffffffffffffefffffffffaabbf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	376	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7efbeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	377	ffffffffffffffffffffffffffffeffffffffffffffdffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	378	ffffffffffffefffffffff37eef57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	379	d7fffffffffffffffffffffffe3ffffffffffffffffffffffffff6bafeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	380	ffffffffffffffffffffffffffffeffffffffffffffdffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	381	ffffffffffffdfffffffffbabbfd6f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	382	e77ffffffffffffffffffffffe0fffffefefffffffffffffffffe5f7beaedfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	383	ffffffffffffffffffffffffffffdffffffffffffffbffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	384	ffffffffffffbfffffffff2ff7f97dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	385	d7fffffffffffffffffffffffe03ffffefeffdfffffffffffffff6ad7faff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	386	ffffffffffffffffffffffffffffdffffffffffffffbffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	387	ffffffffffff7fffffffffbaaefb7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	388	e5fffffffffffffffffffffffe00ffffeffffdffffffffffffffe7ffdf2dffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	389	ffffffffffffffffffffffffffffdffffffffffffff7ffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	390	ffffffffffff7fffffffff2f7df27740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	391	d77ffffffffffffffffffffffe003fffefee187ffffffffffffff5557e6fbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	392	ffffffffffffffffffffffffffffbffffffffffffff7ffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	393	fffffffffffeffffffffffbdabf6ff40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	394	e7fffffffffffffffffffffffe000fffefededffffffffffffffe7ffbfaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	395	ffffffffffffffffffffffffffffbfffffffffffffefffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	396	fffffffffffdffffffffff2bfff95f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	397	d7fffffffffffffffffffffffe0003ffefedfdffffffffffffffeaaaff2effffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	398	ffffffffffffffffffffffffffffbfffffffffffffefffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	399	fffffffffffdffffffffffbeaaf57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	400	e77ffffffffffffffffffffffe0000ffefee1dffffffffffffffe7dfdeafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	401	ffffffffffffffffffffffffffffbfffffffffffffefffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	402	fffffffffffbffffffffff55fffd7f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	403	d5fffffffffffffffffffffffe0001ffefefcdfffffffffffffff5757eab7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	404	ffffffffffffffffffffffffffff7fffffffffffffdfffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	405	fffffffffff7ffffffffff3f55f56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	406	67fffffffffffffffffffffffe0007ffefefedffffffffffffffe7efbf5ffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	407	ffffffffffffffffffffffffffff7fffffffffffffdfffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	408	fffffffffff7ffffffffff55bffafb40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	409	d77ffffffffffffffffffffffe001fffefededfffffffffffffff55afeafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	410	ffffffffffffffffffffffffffff7fffffffffffffbfffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	411	ffffffffffefffffffffff3feaf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	412	e7fffffffffffffffffffffffe807fffe06e1e7fffffffffffffe7f7deaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	413	ffffffffffffffffffffffffffff7fffffffffffffbfffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	414	ffffffffffdfffffffffff555ff55f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	415	d5fffffffffffffffffffffffe21fffffffffffffffffffffffff55d7faff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	416	fffffffffffffffffffffffffffeffffffffffffff7fffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	417	ffffffffffdfffffffffffbff5faf740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	418	e77ffffffffffffffffffffffe07ffffffffffffffffffffffffe7fbbf2bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	419	fffffffffffffffffffffffffffeffffffffffffff7fffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	420	ffffffffffbfffffffffff2aaff57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	421	d7fffffffffffffffffffffffe1ffffffffffffffffffffffffff556ff5fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	422	fffffffffffffffffffffffffffefffffffffffffeffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	423	ffffffffff7fffffffffffbffaf57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	424	e7fffffffffffffffffffffffe7fffffffffffffffffffffffffe7ff5eaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	425	fffffffffffffffffffffffffffefffffffffffffeffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	426	fffffffffeffffffffffff2aaff56dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	427	d77ffffffffffffffffffffffffffffffffffffffffffffffffff555feafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	428	fffffffffffffffffffffffffffdfffffffffffffdffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	429	fffffffffeffffffffffffb7f5fd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	430	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7ffbeafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	431	fffffffffffffffffffffffffffdfffffffffffffdffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	432	fffffffffdffffffffffff3d5ff97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	433	d7fffffffffffffffffffffffffffffffffffffffffffffffffff5557eadffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	434	fffffffffffffffffffffffffffdfffffffffffffbffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	435	fffffffffbffffffffffffabfaf37740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	436	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7efdfaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	437	fffffffffffffffffffffffffffdfffffffffffffbffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	438	fffffffffbffffffffffff3f57fa7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	439	d7ffffffffffffffffffffffffffffffffffffffffffffffffffeab57f2fbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	440	fffffffffffffffffffffffffffbfffffffffffff7ffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	441	fffffffff7ffffffffffffaafdfaefc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	442	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7ffbf6defffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	443	fffffffffffffffffffffffffffbfffffffffffff7ffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	444	ffffffffefffffffffffff3f57f57b00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	445	d77ffffffffffffffff1ffffffffffffffffffffffffffffffffeaaafeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	446	fffffffffffffffffffffffffffbfffffffffffff7ffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	447	ffffffffefffffffffffff55fef57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	448	e7fffffffffffffffff27fffffbbfec0fffffffffffffffffffff7ffdeaf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	449	fffffffffffffffffffffffffff7ffffffffffffefffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	450	ffffffffdfffffffffffffbeabf55f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	451	d7fffffffffffffffff89fffffbbfede7fffffffffffffffffffe5557f5bf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	452	fffffffffffffffffffffffffff7ffffffffffffefffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	453	ffffffffbfffffffffffff2bfdfafb40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	454	e77ffffffffffffffff227ffffb9fcdf7ffffffffffffffffffff7bfbeafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	455	fffffffffffffffffffffffffff7ffffffffffffdfffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	456	ffffffffbfffffffffffffbf57f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	457	d5fffffffffffffffff009ffffbafadf7fffffffffffffffffffe2eafeaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	458	fffffffffffffffffffffffffff7ffffffffffffdfffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	459	ffffffff7fffffffffffff55bdf56f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	460	67fffffffffffffffff5427fffbafade7ffffffffffffffffffff7dddeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	461	ffffffffffffffffffffffffffefffffffffffffbfffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	462	fffffffeffffffffffffff3eebfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	463	d77ffffffffffffffff0109fffbb76c0ffffffffffffffffffffe6b77f5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	464	ffffffffffffffffffffffffffefffffffffffffbfffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	465	fffffffeffffffffffffffabbef97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	466	e7fffffffffffffffff54427ffbb76dffffffffffffffffffffff5fdbeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	467	ffffffffffffffffffffffffffefffffffffffff7fffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	468	fffffffdffffffffffffff3eebf37f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	469	d5fffffffffffffffff0108fffbbaedfffffffffffffffffffffe756feaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	470	ffffffffffffffffffffffffffefffffffffffff7fffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	471	fffffffbffffffffffffffabbdfa6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	472	e77ffffffffffffffffa423fffbbaedffffffffffffffffffffff6ffbeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	473	ffffffffffffffffffffffffffdffffffffffffeffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	474	fffffff7ffffffffffffff3f77fafb40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	475	d7fffffffffffffffff114ffffbbdedfffffffffffffffffffffe5d57fafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	476	ffffffffffffffffffffffffffdffffffffffffeffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	477	fffffff7ffffffffffffffaaeef57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	478	e7fffffffffffffffff843ffffbbdedffffffffffffffffffffff7bfdf2dffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	479	ffffffffffffffffffffffffffdffffffffffffdffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	480	ffffffefffffffffffffff37dbf55f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	481	d77ffffffffffffffff11fffffffffffffffffffffffffffffffead57e6f7bffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	482	ffffffffffffffffffffffffffdffffffffffffdffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	483	ffffffdfffffffffffffffbabdfaf740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	484	e5fffffffffffffffff43fffffffffffffffffffffffffffffffe77fffafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	485	ffffffffffffffffffffffffffbffffffffffffbffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	486	ffffffdfffffffffffffff2fd7f57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	487	d7fffffffffffffffff1fffffffffffffffffffffffffffffffff5d55f2fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	488	ffffffffffffffffffffffffffbffffffffffffbfffffffffffffffffffffffffffffc00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	489	0000000000000003ffffffbd7df57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	490	e77ffffffffffffffffbffffffffffffffffffffffffffffffffe7bffeadefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	491	ffffffffffffffffffffffffffbffffffffffffbfffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	492	fffffffffffffffbffffff2bebfd6dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	493	d7fffffffffffffffffffffffffffffffffffffffffffffffffff56abeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	494	ffffffffffffffffffffffffff7ffffffffffff7fffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	495	fffffffffffffffbffffffbd5ef97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	496	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7ddffaf77ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	497	ffffffffffffffffffffffffff7ffffffffffff7fffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	498	fffffffffffffffbffffff37fbf37f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	499	d77ffffffffffffffffffffffffffffffffffffffffffffffffff5775e5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	500	ffffffffffffffffffffffffff7fffffffffffeffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	501	ff7dff60fff3fffbffffffaeadf67740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	502	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7eeffafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	503	ffffffffffffffffffffffffff7fffffffffffeffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	504	ff3dff6f7feffffbffffff35f7f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	505	d7ffffffffffffffffffffffffffffffffffffffffffffffffffeabbbf2ef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	506	fffffffffffffffffffffffffeffffffffffffdffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	507	ff5dc62fb8c7fffbffffffbf5df56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	508	e77ffffffffffffffffffffffffffffffffffffffffffffffffff7f77e6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	509	fffffffffffffffffffffffffeffffffffffffdffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	510	ff5dbb6fb76ffffbffffff2afbfd7b00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	511	d5fffffffffffffffff1ffffffffffffffffffffffffffffffffe2aedf9bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	512	fffffffffffffffffffffffffeffffffffffffbffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	513	ff6dfb6fb76ffffbffffffbfaef57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	514	67fffffffffffffffffa7fffff7effffffffffffffffffffffffef7dfeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	515	fffffffffffffffffffffffffeffffffffffffbffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	516	ff75c36fb06ffffbffffff557bfadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	517	d77ffffffffffffffff09fffff7efffffffffffffffffffffffff5abbeaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	518	fffffffffffffffffffffffffdffffffffffff7ffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	519	ff75bb6fb7effffbffffff3fd7f57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	520	e7fffffffffffffffff227ffff7effffffffffffffffffffffffe7fd7eafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	521	fffffffffffffffffffffffffdffffffffffff7ffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	522	ff79bb6f776ffffbffffffaabef57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	523	d5fffffffffffffffff809ffff7ee1e1d30ffffffffffffffffff557dfaf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	524	fffffffffffffffffffffffffdfffffffffffefffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	525	ff7dc520f8effffbffffff3febf56f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	526	e77ffffffffffffffff1427fff7eccccce67ffffffffffffffffe7fd7e5bfbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	527	fffffffffffffffffffffffffdfffffffffffefffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	528	fffffffffffffffbffffffaabdfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	529	d7fffffffffffffffff2109fff00defedef7fffffffffffffffff557bfafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	530	fffffffffffffffffffffffffbfffffffffffdfffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	531	fffffffffffffffbffffff3fd7f57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	532	e7fffffffffffffffff44427ff7edee0de07ffffffffffffffffe7feff2effffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	533	fffffffffffffffffffffffffbfffffffffffdfffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	534	fffffffffffffffbffffff557df57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	535	d77ffffffffffffffff1108fff7edecedefffffffffffffffffff555de6fefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	536	fffffffffffffffffffffffffbfffffffffffdfffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	537	fffffffffffffffbffffff3febf56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	538	e5fffffffffffffffff4423fff7edededeffffffffffffffffffe7bf7f9bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	539	fffffffffffffffffffffffff7fffffffffffbfffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	540	fffffffffffffffbffffff555ef57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	541	d7fffffffffffffffff114ffff7eccccde67ffffffffffffffffead5beaf77ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	542	fffffffffffffffffffffffff7fffffffffffbfffffffffffffffffffffffffffffffc00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	543	0000000000000003ffffffbffbfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	544	e77ffffffffffffffff443ffff7ee1e25f0fffffffffffffffffe7fefeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	545	fffffffffffffffffffffffff7fffffffffff7ffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	546	ffffff7fffffffffffffff1557f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	547	d7fffffffffffffffff11fffffffffffffffffffffffffffffffeaabdeaddfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	548	fffffffffffffffffffffffff7fffffffffff7ffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	549	ffffff7fffffffffffffffbbfef57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	550	e5fffffffffffffffff43ffffffffffffffffffffffffffffffff7fd7faff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	551	ffffffffffffffffffffffffefffffffffffefffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	552	fffffeffffffffffffffff2eabf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	553	d77ffffffffffffffff1ffffffffffffffffffffffffffffffffe557beaf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	554	ffffffffffffffffffffffffefffffffffffefffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	555	fffffdffffffffffffffffbb7df56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	556	e7fffffffffffffffffbfffffffffffffffffffffffffffffffff7feff5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	557	ffffffffffffffffffffffffefffffffffffdfffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	558	fffffbffffffffffffffff37d7fd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	559	d7ffffffffffffffffffffffffffffffffffffffffffffffffffe555deafb7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	560	ffffffffffffffffffffffffefffffffffffdfffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	561	fffffbffffffffffffffffaebdf97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	562	e77ffffffffffffffffffffffffffffffffffffffffffffffffff6ff7eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	563	ffffffffffffffffffffffffdfffffffffffbfffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	564	fffff7ffffffffffffffff3debfb7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	565	d5ffffffffffffffffffffffffffffffffffffffffffffffffffe755beaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	566	ffffffffffffffffffffffffdfffffffffffbfffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	567	ffffefffffffffffffffffabbef27f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	568	67fffffffffffffffffffffffffffffffffffffffffffffffffff5fefeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	569	ffffffffffffffffffffffffdfffffffffff7fffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	570	ffffdfffffffffffffffff3f6bf6df40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	571	d77fffffffffffffffffffffffffffffffffffffffffffffffffe7abbf5bbbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	572	ffffffffffffffffffffffffdfffffffffff7fffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	573	ffffdfffffffffffffffffaaddf97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	574	e7fffffffffffffffffffffffffffffffffffffffffffffffffff57f7eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	575	ffffffffffffffffffffffffbffffffffffeffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	576	ffffbfffffffffffffffff3ff7f57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	577	d5fffffffffffffffff1ffffffffffffffffffffffffffffffffe7d5deaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	578	ffffffffffffffffffffffffbffffffffffeffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	579	ffff7fffffffffffffffff555efd6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	580	e77ffffffffffffffff27fffff7fffffffffffffffffffffffffeabf7fafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	581	ffffffffffffffffffffffffbffffffffffeffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	582	fffeffffffffffffffffffbfebf57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	583	d7fffffffffffffffff89fffff7fffffffffffffffffffffffffe7eaff2fbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	584	ffffffffffffffffffffffff7ffffffffffdffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	585	fffeffffffffffffffffff2abdf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	586	e7fffffffffffffffff227ffff7ffffffffffffffffffffffffff55fde6df7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	587	ffffffffffffffffffffffff7ffffffffffdffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	588	fffdffffffffffffffffffb7f7f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	589	d77ffffffffffffffff009ffff7f8673ffffffffffffffffffffe7f57f4fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	590	ffffffffffffffffffffffff7ffffffffffbffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	591	fffbffffffffffffffffff3aadfd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	592	e5fffffffffffffffff5427fff7f3377ffffffffffffffffffffeaafbf5f6fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	593	ffffffffffffffffffffffff7ffffffffffbffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	594	fff7ffffffffffffffffffaffbf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	595	d7fffffffffffffffff0109fff7f7baffffffffffffffffffffff7fafeabffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	596	fffffffffffffffffffffffefffffffffff7ffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	597	fff7ffffffffffffffffff3aaef56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	598	e77ffffffffffffffff54427ff7f03dfffffffffffffffffffffe557deaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	599	fffffffffffffffffffffffefffffffffff7ffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	600	ffefffffffffffffffffffb7fbf57dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	601	d7fffffffffffffffff0108fff7f7fdffffffffffffffffffffff7fd7faedfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	602	fffffffffffffffffffffffeffffffffffefffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	603	ffdfffffffffffffffffff2d57f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	604	e5fffffffffffffffffa423fff7f7fafffffffffffffffffffffeaabbeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	605	fffffffffffffffffffffffdffffffffffefffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	606	ffbfffffffffffffffffffbbfefd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	607	d77ffffffffffffffff114ffff7f3377ffffffffffffffffffffe7fefeadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	608	fffffffffffffffffffffffdffffffffffdfffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	609	ffbfffffffffffffffffff2eabf97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	610	e7fffffffffffffffff843ffff038673fffffffffffffffffffff555deafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	611	fffffffffffffffffffffffdffffffffffdfffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	612	ff7fffffffffffffffffffbdfdf6df40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	613	d7fffffffffffffffff11fffffffffffffffffffffffffffffffe7ff7fafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	614	fffffffffffffffffffffffdffffffffffbfffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	615	feffffffffffffffffffff3757f97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	616	e77ffffffffffffffff43ffffffffffffffffffffffffffffffff555beaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	617	fffffffffffffffffffffffbffffffffff3fffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	618	feffffffffffffffffffffaefef57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	619	d5fffffffffffffffff1ffffffffffffffffffffffffffffffffe7fefeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	620	fffffffffffffffffffffffbffffffffff7fffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	621	fdffffffffffffffffffff35abf56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	622	67fffffffffffffffffbffffffffffffffffffffffffffffffffeaabdf5befffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	623	fffffffffffffffffffffff7fffffffffeffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	624	fbffffffffffffffffffffbf7dfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	625	d77fffffffffffffffffffffffffffffffffffffffffffffffffe7ff7eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	626	fffffffffffffffffffffff7fffffffffeffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	627	f7ffffffffffffffffffff55d7f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	628	e7fffffffffffffffffffffffffffffffffffffffffffffffffff555beaf7bffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	629	fffffffffffffffffffffff7fffffffffdffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	630	f7ffffffffffffffffffff3f6ef57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	631	d5ffffffffffffffffffffffffffffffffffffffffffffffffffe6feff5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	632	fffffffffffffffffffffff7fffffffffdffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	633	efffffffffffffffffffffaafbf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	634	e77fffffffffffffffffffffffffffffffffffffffffffffffffebabbeaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	635	ffffffffffffffffffffffeffffffffffbffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	636	dfffffffffffffffffffff3fadfd7fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	637	d7fffffffffffffffffffffffffffffffffffffffffffffffffff6df7eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	638	ffffffffffffffffffffffeffffffffffbffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	639	bfffffffffffffffffffffaaf7f96f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	640	e7fffffffffffffffff55557ffffffffffffffffffffffffffffebeadeafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	641	ffffffffffffffffffffffeffffffffffbffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	642	bfffffffffffffffffffff3fdef37dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	643	d77ffffffffffffffffaaaafffffffffffffffffffffffffffffe6bfffaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	644	ffffffffffffffffffffffeffffffffff7ffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	645	7fffffffffffffffffffff556bfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	646	e5fffffffffffffffffaaaafffbffffffffffffffffffffffffff5eabf2fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	647	ffffffffffffffffffffffdffffffffff7fffffffffffffffffffffffffffffffffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	648	ffffffffffffffffffffff3fbdf97740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	649	d7fffffffffffffffffd555fffbffbffffffffffffffffffffffe75fff5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	650	ffffffffffffffffffffffdfffffffffeffffffffffffffffffffffffffffffffffffffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	651	ffffffffffffffffffffffaaf7f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	652	e77ffffffffffffffffd555fffbffbfffffffffffffffffffffff5f55eaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	653	ffffffffffffffffffffffdfffffffffeffffffffffffffffffffffffffffffffffffffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	654	ffffffffffffffffffffff3faef55f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	655	d7fffffffffffffffffeaabfffba30c3c5ffffffffffffffffffe75bfeaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	656	ffffffffffffffffffffffbfffffffffdffffffffffffffffffffffffffffffffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	657	ffffffffffffffffffffff557dfafbc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	658	e5ffffffffffffffffff4abfffb99b9999fffffffffffffffffff6febeafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	659	ffffffffffffffffffffffbfffffffffdffffffffffffffffffffffffffffffffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	660	ffffffffffffffffffffffbfebf57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	661	d77fffffffffffffffff557fffbbdbbdbdffffffffffffffffffe5d5ffaf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	662	ffffffffffffffffffffffbfffffffffbfffffffffffffffffffffffffffffffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	663	ffffffffffffffffffffff155ff56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	664	e7ffffffffffffffffff557fffbbdb81bdfffffffffffffffffff7bf5e5bfbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	665	ffffffffffffffffffffffbfffffffffbfffffffffffffffffffffffffffffffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	666	ffffffffffffffffffffffbfeafd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	667	d7ffffffffffffffffffaaffffbbdbbfbdffffffffffffffffffe56affafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	668	ffffffffffffffffffffff7fffffffff7ffffffffffffffffffffffffffffe0000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	669	00000001ffffffffffffff2abff97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	670	e77fffffffffffffffffaaffffbbdbbfbdfffffffffffffffffff7dfbf2effffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	671	ffffffffffffffffffffff7fffffffff7ffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	672	fffffffdffffffffffffffb7f5f37f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	673	d5ffffffffffffffffffd5ffffbbdb9999ffffffffffffffffffe5757e6ff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	674	ffffffffffffffffffffff7ffffffffefffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	675	fffffffdffffffffffffff3aaff67740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	676	67ffffffffffffffffffd5ffffbbdcc3c5fffffffffffffffffff7dfdf9bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	677	ffffffffffffffffffffff7ffffffffefffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	678	fffffffdffffffffffffffaffaf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	679	d77fffffffffffffffffebfffffffffffdffffffffffffffffffe5757eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	680	fffffffffffffffffffffefffffffffdfffffffffffffffffffffffffffffeffffffdf7f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	681	dffffffdffffffffffffff3d57f56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	682	e7ffffffffffffffffffebffffffffff99fffffffffffffffffff7efbeaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	683	fffffffffffffffffffffefffffffffdfffffffffffffffffffffffffffffeffffffcf7f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	684	dffffffdffffffffffffff56fdfd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	685	d5fffffffffffffffffff7ffffffffffc3ffffffffffffffffffeabafeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	686	fffffffffffffffffffffefffffffffbfffffffffffffffffffffffffffffeffffffd771
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	687	8ffffffdffffffffffffffbbd7f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	688	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7efbfafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	689	fffffffffffffffffffffefffffffffbfffffffffffffffffffffffffffffeffffffd76e
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	690	dffffffdffffffffffffff2ebdf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	691	d7fffffffffffffffffffffffffffffffffffffffffffffffffff55d7eadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	692	fffffffffffffffffffffdfffffffff7fffffffffffffffffffffffffffffeffffffdb7e
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	693	dffffffdffffffffffffffbdebf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	694	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7fbdeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	695	fffffffffffffffffffffdfffffffff7fffffffffffffffffffffffffffffeffffffdd70
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	696	dffffffdffffffffffffff2bbefadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	697	d77ffffffffffffffffffffffffffffffffffffffffffffffffff5577eafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	698	fffffffffffffffffffffdffffffffeffffffffffffffffffffffffffffffeffffffdd6e
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	699	dffffffdffffffffffffffbf6bf57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	700	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe6fefeaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	701	fffffffffffffffffffffbffffffffeffffffffffffffffffffffffffffffeffffffde6e
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	702	dffffffdffffffffffffff2adff57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	703	d7fffffffffffffffffffffffffffffffffffffffffffffffffff755dfaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	704	fffffffffffffffffffffbffffffffeffffffffffffffffffffffffffffffeffffffdf71
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	705	4ffffffdffffffffffffffbffafd6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	706	e77fffffffffffffffffffffffffffffffffffffffffffffffffe5ff7f2ddfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	707	fffffffffffffffffffffbffffffffdffffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	708	fffffffdffffffffffffff5557f97b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	709	d7fffffffffffffffffffffffe3ffffffffffffffffffffffffff755bf6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	710	fffffffffffffffffffffbffffffffdffffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	711	fffffffdffffffffffffff3ffdf37f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	712	e5fffffffffffffffffffffffe0fffffe03ffff7ffffffffffffe5befeaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	713	fffffffffffffffffffff7ffffffffbffffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	714	fffffffdffffffffffffffaaabfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	715	d77ffffffffffffffffffffffe03ffffeffffff7fffffffffffff7ebdeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	716	fffffffffffffffffffff7ffffffffbffffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	717	fffffffdffffffffffffff3dfef97740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	718	e7fffffffffffffffffffffffe00ffffefffffffffffffffffffe55ebeaf77ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	719	fffffffffffffffffffff7ffffffff7ffffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	720	fffffffdffffffffffffff56abf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	721	d7fffffffffffffffffffffffe003fffeff8b7b6f7fffffffffff7f5ff5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	722	fffffffffffffffffffff7ffffffff7ffffffffffffffffffffffffffffffe0000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	723	00000001ffffffffffffff3ffdf56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	724	e77ffffffffffffffffffffffe000fffeff337b6f7ffffffffffe55fbeafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	725	ffffffffffffffffffffeffffffffeffffffffffffffffffffffffffffffffffffffff2f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	726	ffffffffffffffffffffff5557fd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	727	d5fffffffffffffffffffffffe0003ffe077b7b6f7fffffffffff7f57eaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	728	ffffffffffffffffffffeffffffffefffffffffffffffffffffffffffffffffffffffef7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	729	ffffffffffffffffffffffbffef57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	730	67fffffffffffffffffffffffe0000ffeff7b7b76fffffffffffeaafdeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	731	ffffffffffffffffffffeffffffffefffffffffffffffffffffffffffffffffffffffdf7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	732	ffffffffffffffffffffff2aabf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	733	d77ffffffffffffffffffffffe0001ffeff7b7b76fffffffffffe7fd7fafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	734	ffffffffffffffffffffeffffffffdfffffffffffffffffffffffffffffffffffffff3fb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	735	ffffffffffffffffffffffbdfdf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	736	e7fffffffffffffffffffffffe0007ffeff7b7b76fffffffffffeaabff2df7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	737	ffffffffffffffffffffeffffffffdffffffffffffffffffffffffffffffffffffffeffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	738	ffffffffffffffffffffff5757fadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	739	d5fffffffffffffffffffffffe001fffeff333379fffffffffffe7fd5e6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	740	ffffffffffffffffffffdffffffffbffffffffffffffffffffffffffffffffffffff9ffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	741	ffffffffffffffffffffff3efdf57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	742	e77ffffffffffffffffffffffe007fffe038b8b79ffffffffffff557ff4f6fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	743	ffffffffffffffffffffdffffffffbffffffffffffffffffffffffffffffffffffff7ffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	744	ffffffffffffffffffffff55abf57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	745	d7fffffffffffffffffffffffe01ffffffffbfffffffffffffffe6febf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	746	ffffffffffffffffffffdffffffff7fffffffffffffffffffffffffffffffffffffeffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	747	7fffffffffffffffffffff3f7ef56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	748	e7fffffffffffffffffffffffe27ffffffffbffffffffffffffff755feaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	749	ffffffffffffffffffffdffffffff7fffffffffffffffffffffffffffffffffffff9ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	750	bfffffffffffffffffffff55ebfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	751	d77ffffffffffffffffffffffe1fffffffffbfffffffffffffffe5ff5eaedfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	752	ffffffffffffffffffffbfffffffeffffffffffffffffffffffffffffffffffffff7ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	753	dfffffffffffffffffffffbf5ff97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	754	e5fffffffffffffffffffffffe7ffffffffffffffffffffffffff7aaffafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	755	ffffffffffffffffffffbfffffffefffffffffffffffffffffffffffffffffffffcfffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	756	efffffffffffffffffffff2aeafb7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	757	d7ffffffffffffffffffffffffffffffffffffffffffffffffffeadfbeadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	758	ffffffffffffffffffffbfffffffdfffffffffffffffffffffffffffffffffffffbfffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	759	efffffffffffffffffffffbfbff57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	760	e77fffffffffffffffffffffffffffffffffffffffffffffffffe77afeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	761	ffffffffffffffffffffbfffffffdffffffffffffffffffffffffffffffffffffe7fffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	762	f7ffffffffffffffffffff2af5f57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	763	d7fffffffffffffffffffffffffffffffffffffffffffffffffff5d7deafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	764	ffffffffffffffffffff7fffffffbffffffffffffffffffffffffffffffffffffdffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	765	fbffffffffffffffffffffbfaff56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	766	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7bd7faef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	767	ffffffffffffffffffff7fffffffbffffffffffffffffffffffffffffffffffffbffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	768	fdffffffffffffffffffff557af57dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	769	d77fffffffffffffffffffffffffffffffffffffffffffffffffeaebbeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	770	ffffffffffffffffffff7fffffffbfffffffffffffffffffffffffffffffffffe7ffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	771	fdffffffffffffffffffff3fd7f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	772	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7beff5befffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	773	fffffffffffffffffffe7fffffff7fffffffffffffffffffffffffffffffffffdfffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	774	feffffffffffffffffffff557dfd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	775	d7fffffffffffffffffffffffe3ffffffffffffffffffffffffff575deafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	776	fffffffffffffffffffeffffffff7fffffffffffffffffffffffffffffffffff3fffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	777	ff7fffffffffffffffffff3fd7f97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	778	e77ffffffffffffffffffffffe0ffffff7ffffffffffffffffffe7ef7eaf7bffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	779	fffffffffffffffffffefffffffefffffffffffffffffffffffffffffffffffeffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	780	ffbfffffffffffffffffffaabef35f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	781	d5fffffffffffffffffffffffe03fffff7ff7ffffffffffffffff55dbf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	782	fffffffffffffffffffefffffffefffffffffffffffffffffffffffffffffffdffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	783	ffdfffffffffffffffffff3febfcfbc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	784	67fffffffffffffffffffffffe00fffff7ff7fffffffffffffffe7f6feaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	785	fffffffffffffffffffcfffffffdfffffffffffffffffffffffffffffffffff3ffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	786	ffdfffffffffffffffffff555df57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	787	d77ffffffffffffffffffffffe003ffff7461878bffffffffffff55bdeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	788	fffffffffffffffffffdfffffffdffffffffffffffffffffffffffffffffffefffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	789	ffefffffffffffffffffffbff7f56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	790	e7fffffffffffffffffffffffe000ffff73373333fffffffffffe7ef7eafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	791	fffffffffffffffffffdfffffffbffffffffffffffffffffffffffffffffff9fffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	792	fff7ffffffffffffffffff155df57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	793	d5fffffffffffffffffffffffe0003fff77b77b7bfffffffffffeabdbfaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	794	fffffffffffffffffffdfffffffbffffffffffffffffffffffffffffffffff7fffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	795	fffbffffffffffffffffffbffbfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	796	e77ffffffffffffffffffffffe0000fff77b7037bfffffffffffe7d6ff2fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	797	fffffffffffffffffff9fffffff7fffffffffffffffffffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	798	fffbffffffffffffffffff3556f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	799	d7fffffffffffffffffffffffe0001fff77b77f7bffffffffffff57ddf5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	800	fffffffffffffffffffbffffffeffffffffffffffffffffffffffffffffff9ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	801	fffdffffffffffffffffff5bfff57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	802	e7fffffffffffffffffffffffe0007fff77b77f7bfffffffffffe7d77eaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	803	fffffffffffffffffffbffffffeffffffffffffffffffffffffffffffffff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	804	fffeffffffffffffffffffbd55f57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	805	d77ffffffffffffffffffffffe001ffff77b73333ffffffffffff6bdbeaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	806	fffffffffffffffffffbffffffdfffffffffffffffffffffffffffffffffcfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	807	ffff7fffffffffffffffff17fff56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	808	e5fffffffffffffffffffffffe007ffff77b9878bfffffffffffe5f6feafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	809	fffffffffffffffffffbffffffdfffffffffffffffffffffffffffffffffbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	810	ffff7fffffffffffffffffbd55fd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	811	d7fffffffffffffffffffffffe41ffffffffffffbffffffffffff75bdfaf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	812	fffffffffffffffffff7ffffffbfffffffffffffffffffffffffffffffff7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	813	ffffbfffffffffffffffff36fbf97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	814	e77ffffffffffffffffffffffe07fffffffffff33fffffffffffe5ef7e5bfbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	815	fffffffffffffffffff7ffffff3ffffffffffffffffffffffffffffffffcffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	816	ffffdfffffffffffffffffafaefb7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	817	d7fffffffffffffffffffffffe1ffffffffffff87ffffffffffff7b5bfafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	818	fffffffffffffffffff7ffffff7ffffffffffffffffffffffffffffffffbffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	819	ffffefffffffffffffffff357bf27f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	820	e5fffffffffffffffffffffffe7fffffffffffffffffffffffffe57f7f2effffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	821	fffffffffffffffffff7fffffeffffffffffffffffffffffffffffffffe7ffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	822	fffff7ffffffffffffffffbfedf6df40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	823	d77ffffffffffffffffffffffffffffffffffffffffffffffffff7d5deaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	824	ffffffffffffffffffeffffffeffffffffffffffffffffffffffffffffdfffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	825	fffff7ffffffffffffffff555ff97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	826	e7ffffffffffffffffffffffffffffffffffffffffffffffffffeabf7f5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	827	ffffffffffffffffffeffffffdffffffffffffffffffffffffffffffffbfffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	828	fffffbffffffffffffffff3feaf57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	829	d7ffffffffffffffffffffffffffffffffffffffffffffffffffe7f5beafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	830	ffffffffffffffffffeffffffdfffffffffffffffffffffffffffffffe7fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	831	fffffdffffffffffffffffaabffd6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	832	e77fffffffffffffffffffffffffffffffffffffffffffffffffeaaffeaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	833	ffffffffffffffffffeffffffbfffffffffffffffffffffffffffffffdffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	834	fffffeffffffffffffffff3ffff57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	835	d5ffffffffffffffffffffffffffffffffffffffffffffffffffe7f55eafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	836	ffffffffffffffffffdffffffbfffffffffffffffffffffffffffffff3ffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	837	fffffeffffffffffffffff7ffef57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	838	67fffffffffffffffffffffffffffffffffffffffffffffffffff55fffafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	839	ffffffffffffffffffdffffff7ffffffffffffffffffffffffffffffefffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	840	ffffff7fffffffffffffffbffcf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	841	d77ffffffffffffffffffffffe3fffffffffffffffffffffffffe7fabeadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	842	ffffffffffffffffffdfffffefffffffffffffffffffffffffffffff9fffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	843	ffffffbfffffffffffffff3f6dfd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	844	e7fffffffffffffffffffffffe0fffffe077fffffffffffffffff557feafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	845	ffffffffffffffffffdfffffcfffffffffffffffffffffffffffffff7fffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	846	ffffffdfffffffffffffffbbfef57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	847	d5fffffffffffffffffffffffe03ffffef37ffffffffffffffffe7fabeafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	848	ffffffffffffffffffbfffffbffffffffffffffffffffffffffffffeffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	849	ffffffefffffffffffffff3ffcf56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	850	e77ffffffffffffffffffffffe00ffffefbfffffffffffffffffeaaffeaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	851	ffffffffffffffffffbfffffbffffffffffffffffffffffffffffff9ffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	852	ffffffefffffffffffffffbf6df57dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	853	d7fffffffffffffffffffffffe003fffefb68fffffffffffffffe7f55faffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	854	ffffffffffffffffffbfffff7ffffffffffffffffffffffffffffff7ffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	855	fffffff7ffffffffffffff3bfcf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	856	e7fffffffffffffffffffffffe000fffefb667fffffffffffffff55fff2ddfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	857	ffffffffffffffffffbfffff7fffffffffffffffffffffffffffffcfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	858	fffffffbffffffffffffff7efefd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	859	d77ffffffffffffffffffffffe0003ffe076f7ffffffffffffffe6fabf6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	860	ffffffffffffffffffbffffeffffffffffffffffffffffffffffffbfffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	861	fffffffdffffffffffffffbfecf97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	862	e5fffffffffffffffffffffffe0000ffefb6f7fffffffffffffff7adfeaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	863	ffffffffffffffffff7ffffdffffffffffffffffffffffffffffff7fffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	864	fffffffdffffffffffffff3f7df6df40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	865	d7fffffffffffffffffffffffe0001ffefb6f7ffffffffffffffe5775eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	866	ffffffffffffffffff7ffffdfffffffffffffffffffffffffffffcffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	867	fffffffeffffffffffffffbbfef97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	868	e77ffffffffffffffffffffffe0007ffefb6f7fffffffffffffff7defeaf77ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	869	ffffffffffffffffff7ffffbffffffffffffffffffffc000000000000000003ffffffff8
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	870	000000000000000007ffff3fecf57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	871	d7fffffffffffffffffffffffe001fffefb6f7ffffffffffffffe56bbf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	872	ffffffffffffffffff7ffff7ffffffffffffffffffffdfffffffffffffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	873	fffffffffffffffff7ffffbf7df56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	874	e5fffffffffffffffffffffffe807fffe076f7fffffffffffffff7ff7eafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	875	ffffffffffffffffff7fffefffffffffffffffffffffdfffffffffffffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	876	fffffffffffffffff7ffff3bfcfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	877	d77ffffffffffffffffffffffe01ffffffffffffffffffffffffe7fffeaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	878	fffffffffffffffffeffffefffffffffffffffffffffdfffffffffffffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	879	fffffffffffffffff7ffffbeeef57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	880	e7fffffffffffffffffffffffe07fffffffffffffffffffffffff7ffdeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	881	fffffffffffffffffeffffdfffffffffffffffffffffdfffc1ffb07fffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	882	ffffff7fdb7ffffff7ffff3ffcf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	883	d7fffffffffffffffffffffffe1fffffffffffffffffffffffffe6dbdfafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	884	fffffffffffffffffeffffbfffffffffffffffffffffdfffdeffb7bfffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	885	fffffebffb7ffffff7ffff77bdf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	886	e77ffffffffffffffffffffffe7ffffffffffffffffffffffffff7ff9f2df7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	887	fffffffffffffffffeffffbfffffffffffffffffffffdfffdee3b7b8dddfffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	888	fffffebd514ffffff7ffffbdeefd7fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	889	d5ffffffffffffffffffffffffffffffffffffffffffffffffffe7bdbe6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	890	fffffffffffffffffeffff7fffffffffffffffffffffdfffdeddb7b75ddfffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	891	fffffddcdb37fffff7ffff3ffcf96f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	892	67ffffffffffffffffffffffffffffffffffffffffffffffffffefef9f4f6fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	893	fffffffffffffffffdfffeffffffffffffffffffffffdfffc1ddb0776dbfffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	894	fffffddddb77fffff7ffffbf7df37dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	895	d77ffffffffffffffffffffffffffffffffffffffffffffffffff7ffdf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	896	fffffffffffffffffdfffdffffffffffffffffffffffdfffddc1b7f76dbfffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	897	fffffc1ddb77fffff7ffff3fdcfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	898	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe77b9eaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	899	fffffffffffffffffdfffbffffffffffffffffffffffdfffdedfb7f76abfffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	900	fffffbeddb77fffff7ffffbbfef97740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	901	d5fffffffffffffffffffffffffffffffffffffffffffffffffff7dfbeaedfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	902	fffffffffffffffffdfffbffffffffffffffffffffffdfffdeddb7f7777fffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	903	fffffbeddb77fffff7ffff3fecf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	904	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7fddfafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	905	fffffffffffffffffdfff7ffffffffffffffffffffffdfffdee3b7f8f77fffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	906	fffffbedd977fffff7ffffbf7df55f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	907	d7fffffffffffffffffffffffe3ffffffffffffffffffffffffff7ff9eadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	908	fffffffffffffffffbffefffffffffffffffffffffffdfffffffffffffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	909	fffffffffffffffff7ffff3bfcfafbc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	910	e7fffffffffffffffffffffffe0ffffffc3fffffffffffffffffe7b7beafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	911	fffffffffffffffffbffdfffffffffffffffffffffffdfffffffffffffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	912	fffffffffffffffff7ffff7fdef57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	913	d77ffffffffffffffffffffffe03fffff3cffffffffffffffffff7ff9eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	914	fffffffffffffffffbffbfffffffffffffffffffffffdfffffffffffffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	915	fffffffffffffffff7ffffbefcf56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	916	e5fffffffffffffffffffffffe00fffff7efffffffffffffffffe77ddfaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	917	fffffffffffffffffbffbfffffffffffffffffffffffdfffffffffffffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	918	fffffffffffffffff7ffff37fdfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	919	d7fffffffffffffffffffffffe003fffeffd30ef68fffffffffff7ef9eafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	920	fffffffffffffffffbff7fffffffffffffffffffffffdfffffffffffffffffbffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	921	fffffffffffffffff7ffffbf6ef97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	922	e77ffffffffffffffffffffffe000fffeffce66f667fffffffffe7ffbf5befffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	923	fffffffffffffffff7feffffffffffffffffffffffffc000000000000000003ffffffff8
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	924	000000000000000007ffff3ffcf37f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	925	d7fffffffffffffffffffffffe0003ffef0def6f6f7fffffffffeedddeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	926	fffffffffffffffff7fdfffffffffffffffffffffffffffffffff7ffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	927	fffffff007ffffffffffff7dfdf67740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	928	e5fffffffffffffffffffffffe0000ffefedef6f6f7ffffffffff7ff9eaf7bffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	929	fffffffffffffffff7fdffffffffffffffffffffffffffffffffefffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	930	ffffff8150ffffffffffff3f6cf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	931	d77ffffffffffffffffffffffe0001ffefedef6f6f7fffffffffe7f7bf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	932	fffffffffffffffff7fbffffffffffffffffffffffffffffffffefffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	933	fffffc4b6c0fffffffffffb7fef56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	934	e7fffffffffffffffffffffffe0007fff7edef6f6f7ffffffffff7bd9eaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	935	fffffffffffffffff7f7ffffffffffffffffffffffffffffffffdfffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	936	ffffe3377731ffffffffff3ffcfd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	937	d7fffffffffffffffffffffffe001ffff38de666667fffffffffe7ffdeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	938	fffffffffffffffff7efffffffffffffffffffffffffffffffffbfffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	939	ffff1cef7bce3fffffffff7eddf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	940	e77ffffffffffffffffffffffe807ffffc6df0f168ffffffffffeeef9eafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	941	ffffffffffffffffefdfffffffffffffffffffffffffffffffff7fffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	942	fff8f3df7df3c7ffffffffb7fef57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	943	d5fffffffffffffffffffffffe21ffffffffffffeffffffffffff7fbbfaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	944	ffffffffffffffffefdfffffffffffffffffffffffffffffffff7fffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	945	ffc7cfbf7efcf8ffffffff3decf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	946	67fffffffffffffffffffffffe07ffffffffffffefffffffffffe77fdf2fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	947	ffffffffffffffffefbffffffffffffffffffffffffffffffffeffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	948	ff3f3f7f7f7f3f1fffffff7f7dfadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	949	d77ffffffffffffffffffffffe1fffffffffffffeffffffffffff7dd9f5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	950	ffffffffffffffffef7ffffffffffffffffffffffffffffffffdffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	951	f8fcfeff7fbfcfe3ffffffbffcf57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	952	e7fffffffffffffffffffffffe7fffffffffffffffffffffffffe7ffdeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	953	ffffffffffffffffeefffffffffffffffffffffffffffffffffbffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	954	c7f3fdff7fdff3fc3fffff3fddf57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	955	d5ffffffffffffffffffffffffffffffffffffffffffffffffffeff79eaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	956	ffffffffffffffffddfffffffffffffffffffffffffffffffffbfffffffffffffffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	957	3fcffbff7feffcffc7ffffb6fefd6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	958	e77ffffffffffffffffffffffffffffffffffffffffffffffffff77dbeafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	959	ffffffffffffffffdbfffffffffffffffffffffffffffffffff7fffffffffffffffffff1
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	960	ff3ffbff7ff7ff3ff8ffff3fecf97b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	961	d7ffffffffffffffffffffffffffffffffffffffffffffffffffe7ff9faf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	962	ffffffffffffffffd7ffffffffffffffffffffffffffffffffefffffffffffffffffff8f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	963	fcfff7ff7ffbffcfff1fff7ffef37f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	964	e7fffffffffffffffffffffffffffffffffffffffffffffffffff7efde5bfbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	965	ffffffffffffffffd7ffffffffffffffffffffffffffffffffdffffffffffffffffffc7f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	966	f3ffefff7ffdfff3ffe3ff3dbcfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	967	d77fffffffffffffffffffffffffffffffffffffffffffffffffe77b9fafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	968	ffffffffffffffffcfffffffffffffffffffffffffffffffffbfffffffffffffffffe3ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	969	cfffdfff7ffefffcfffc7fbfedf97740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	970	e5fffffffffffffffffffffffffffffffffffffffffffffffffff7ffbf2effffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	971	ffffffffffffffff9fffffffffffffffffffffffffffffffffbfffffffffffffffff1fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	972	3fffbfffbfff7fff3fff873bfcf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	973	d7fffffffffffffffffffffffe3fffffffffffffffffffffffffe7dfdeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	974	ffffffffffffffffbfffffffffffffffffffffffffffffffff7ffffffffffffffff8fffc
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	975	ffff7fffbfffbfffcffff8bf7ef56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	976	e77ffffffffffffffffffffffe0fffffe077ffffffffffffffffeefd9f5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	977	ffffffffffffffff3ffffffffffffffffffffffffffffffffeffffffffffffffffc7fffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	978	fffeffffbfffdffff3ffff3fdcfd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	979	d7fffffffffffffffffffffffe03ffffef37fffffffffffffffff7f7deafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	980	fffffffffffffffebffffffffffffffffffffffffffffffffdfffffffffffffffe3fffe7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	981	fffdffffbfffeffffcffffbbfdf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	982	e5fffffffffffffffffffffffe00ffffefbfffffffffffffffffe7bf9eaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	983	fffffffffffffffdbffffffffffffffffffffffffffffffffdfffffffffffffff1ffff9f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	984	fffbffffbffff7ffff3fff3eeef57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	985	d77ffffffffffffffffffffffe003fffefb68f17fffffffffffff7fdbeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	986	fffffffffffffffb7ffffffffffffffffffffffffffffffffbffffffffffffff8ffffe7f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	987	fff7ffffbffffbffffcfff7ffcf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	988	e7fffffffffffffffffffffffe000fffef766667ffffffffffffe7ef9fafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	989	fffffffffffffffb7ffffffffffffffffffffffffffffffff7fffffffffffffc7ffff9ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	990	ffefffffbffffdfffff3ffbfbdfadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	991	d7fffffffffffffffffffffffe0003ffe0f6f6f7fffffffffffff77fbeadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	992	fffffffffffffff77fffffffffffffffffffffffffffffffeffffffffffffff3ffffe7ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	993	ffdfffffbffffe7ffffcff3bfcf57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	994	e77ffffffffffffffffffffffe0000ffef76f6f7ffffffffffffe7fbdeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	995	ffffffffffffffef7fffffffffffffffffffffffffffffffefffffffffffff8fffff9fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	996	ffbfffffbfffffbfffff3fbeeef57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	997	d5fffffffffffffffffffffffe0001ffefb6f6f7fffffffffffff7df9eafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	998	ffffffffffffffdf7fffffffffffffffffffffffffffffffdffffffffffffc7ffffe7fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	999	ff7fffffbfffffdfffffcf3ffcf56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1000	67fffffffffffffffffffffffe0007ffefb6f6f7ffffffffffffe7fdbeaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1001	ffffffffffffffbf7fffffffffffffffffffffffffffffffbfffffffffffe3fffff9ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1002	feffffffbfffffeffffff3b7bdfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1003	d77ffffffffffffffffffffffe001fffefb6f667fffffffffffff77f9faffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1004	ffffffffffffff7effffffffffffffffffffffffffffffff7fffffffffff1fffffe7ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1005	fdffffffbffffff7fffffc3deef97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1006	e7fffffffffffffffffffffffe007fffefb6f717ffffffffffffe7f7df2ddfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1007	ffffffffffffff7efffffffffffffffffffffffffffffffefffffffffff8ffffff9fffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1008	fbffffffbffffffbffffff7ffcfb7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1009	d5fffffffffffffffffffffffe41fffffffffff7ffffffffffffefbf9f6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1010	fffffffffffffefefffffffffffffffffffffffffffffffeffffffffffc7fffffe7fffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1011	f7ffffffbffffffdffffffbf7ef57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1012	e77ffffffffffffffffffffffe07fffffffffe67fffffffffffff7fdbeaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1013	fffffffffffff9fefffffffffffffffffffffffffffffffdfffffffffe3ffffff9ffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1014	efffffffbffffffeffffff3fecf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1015	d7fffffffffffffffffffffffe1fffffffffff0fffffffffffffe6ef9eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1016	fffffffffffff7fefffffffffffffffffffffffffffffffbfffffffff1ffffffe7ffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1017	dfffffffbfffffff7fffffbdfdf56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1018	e7fffffffffffffffffffffffe7ffffffffffffffffffffffffff7ffdeaf77ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1019	ffffffffffffeffefffffffffffffffffffffffffffffff7ffffffff8fffffff9fffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1020	bfffffffbfffffffbfffff3fbcf57dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1021	d77fffffffffffffffffffffffffffffffffffffffffffffffffe7bb9f5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1022	ffffffffffffdffdfffffffffffffffffffffffffffffff7fffffffc7ffffffe7fffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1023	7fffffffbfffffffdfffffb7fdf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1024	e5ffffffffffffffffffffffffffffffffffffffffffffffffffefffbeafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1025	ffffffffffffdffdffffffffffffffffffffffffffffffefffffffe3fffffff9fffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1026	ffffffffbfffffffefffff3eeefd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1027	d7fffffffffffffffffffffffffffffffffffffffffffffffffff6f7deaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1028	ffffffffffffbffdffffffffffffffffffffffffffffffdfffffff1fffffffe7fffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1029	ffffffffbffffffff7ffff7ffcf97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1030	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7bd9eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1031	ffffffffffff7ffdffffffffffffffffffffffffffffffbffffff8ffffffffdffffffffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1032	ffffffffbffffffffbffffbbbdf35f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1033	d7ffffffffffffffffffffffffffffffffffffffffffffffffffefffbfafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1034	fffffffffffefffdffffffffffffffffffffffffffffffbfffffc7ffffffff3ffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1035	ffffffffbffffffffdffff3fecfcfbc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1036	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7ef9f2df7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1037	fffffffffffdfffdffffffffffffffffffffffffffffff7fffff3ffffffffcfffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1038	ffffffffbffffffffeffffbffef57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1039	d77ffffffffffffffffffffffe3ffffffffffffffffffffffffff6fbde6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1040	fffffffffffbfffbfffffffffffffffffffffffffffffefffff8fffffffff3ffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1041	ffffffffbfffffffff7fff3b7cf56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1042	e7fffffffffffffffffffffffe0ffffff7fff03bffff07ffe7fff7ff9f4f6fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1043	fffffffffff7fffbfffffffffffffffffffffffffffffdffffc7ffffffffcfffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1044	ffffffffbfffffffffbfffbfddf57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1045	d7fffffffffffffffffffffffe03fffff7ff779bffff79ffdfffe7dfbf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1046	ffffffffffeffffbfffffffffffffffffffffffffffffbfffe3fffffffff3fffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1047	ffffffffbfffffffffdfff3ffefd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1048	e77ffffffffffffffffffffffe00fffff7ff77dfffff7dffdfffeefd9eaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1049	ffffffffffdffffbfffffffffffffffffffffffffffffbfff1fffffffffcffffffffff7f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1050	ffffffffbfffffffffefff76ecf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1051	d5fffffffffffffffffffffffe003ffff74617db478b7ee18c3ff7efbeaedfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1052	ffffffffffbffffbfffffffffffffffffffffffffffff7ff8ffffffffff3fffffffffeff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1053	ffffffffbffffffffff7ffbffdf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1054	67fffffffffffffffffffffffe000ffff73377bb33337eccdbdfe7ff9fafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1055	ffffffffffbffffbffffffffffffffffffffffffffffeffc7fffffffffcffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1056	ffffffffbffffffffffbff3fbcf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1057	d77ffffffffffffffffffffffe0003fff77b707b7b7b7ededbfff7bbdeadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1058	ffffffffff7ffff7ffffffffffffffffffffffffffffdfe3ffffffffff3ffffffffffbff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1059	ffffffffbffffffffffdffbdeef56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1060	e7fffffffffffffffffffffffe0000fff77b77bb7b7b7ec0dc3fe7ff9eafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1061	fffffffffefffff7ffffffffffffffffffffffffffffdf1ffffffffffcfffffffffff7ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1062	ffffffffdffffffffffeff3ffcfd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1063	d5fffffffffffffffffffffffe0001fff77b77db7b7b7edfdf9feeefbeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1064	fffffffffdfffff7ffffffffffffffffffffffffffffb8fffffffffff3ffffffffffefff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1065	ffffffffdfffffffffff7fbbfdf97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1066	e77ffffffffffffffffffffffe0007fff77b77db7b7b7ddfdfdff7fddfaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1067	fffffffffbfffff7ffffffffffffffffffffffffffff47ffffffffffcfffffffffffdfff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1068	ffffffffdfffffffffffbf3edefb7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1069	d7fffffffffffffffffffffffe001ffff77b77db7b3379ccdbdfe7bf9eafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1070	fffffffff7fffff7fffffffffffffffffffffffffffe3fffffffffff3fffffffffffbfff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1071	ffffffffdfffffffffffdf7ffcf27f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1072	e7fffffffffffffffffffffffe807ffff77b97db7b8b07e1dc3ff7f7bf5befffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1073	ffffffffeffffff7fffffffffffffffffffffffffff0fffffffffffcffffffffffff7fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1074	ffffffffdfffffffffffefbff6f6df40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1075	d77ffffffffffffffffffffffe01fffffffffffffffbffffffffe6fd9eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1076	ffffffffdfffffefffffffffffffffffffffffffff8dfffffffffff3fffffffffffeffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1077	ffffffffdffffffffffff73dbcf97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1078	e5fffffffffffffffffffffffe07ffffffffffffff33ffffffffefbfdeaf7bffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1079	ffffffffbfffffeffffffffffffffffffffffffffc7bffffffffffcffffffffffffdffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1080	ffffffffdffffffffffffbb7fdf57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1081	d7fffffffffffffffffffffffe1fffffffffffffff87fffffffff7ef9f5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1082	ffffffff3fffffeffffffffffffffffffffffffff3f7ffffffffff3ffffffffffffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1083	ffffffffdffffffffffffd3f7efd6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1084	e77ffffffffffffffffffffffe7fffffffffffffffffffffffffe7fbbeaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1085	fffffffeffffffefffffffffffffffffffffffff8feffffffffffcfffffffffffff7ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1086	ffffffffdffffffffffffe7fecf57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1087	d7fffffffffffffffffffffffffffffffffffffffffffffffffff7ffdeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1088	fffffffdffffffeffffffffffffffffffffffffc7feffffffffffbffffffffffffefffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1089	ffffffffdfffffffffffffbdfdf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1090	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7bd9eafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1091	fffffffdffffffefffffffffffffffffffffffe3ffdfffffffffe7ffffffffffffdfffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1092	ffffffffdfffffffffffff3fbcf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1093	d77ffffffffffffffffffffffffffffffffffffffffffffffffff7efbfaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1094	fffffffbffffffdfffffffffffffffffffffff1fffbfffffffff9fffffffffffffdfffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1095	ffffffffdfffffffffffffb7eefd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1096	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe6ff9f2fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1097	fffffff7ffffffdffffffffffffffffffffff8ffff7ffffffffe7fffffffffffffbfffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1098	ffffffffdfffffffffffff3dfcf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1099	d7ffffffffffffffffffffffffffffffffffffffffffffffffffeffddf5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1100	ffffffefffffffdfffffffffffffffffffffc7ffff7ffffffff9ffffffffffffff7fffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1101	ffffffffdfffffffffffff7f7df56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1102	e77ffffffffffffffffffffffffffffffffffffffffffffffffff76f9eaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1103	ffffffdfffffffdffffffffffffffffffffe3ffffeffffffffe7fffffffffffffeffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1104	ffffffffdfffffffffffffbfdef57dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1105	d5fffffffffffffffffffffffe3fffffffffffffffffffffffffe7ffbeaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1106	ffffffdfffffffdffffffffffffffffffff1fffffdffffffff9ffffffffffffffdffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1107	ffffffffdfffffffffffff3ffcf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1108	67fffffffffffffffffffffffe0fffffeffffffffffffffffffff7fb9eafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1109	ffffffbfffffffdfffffffffffffffffff8ffffffbfffffffe7ffffffffffffffbffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1110	ffffffffdfffffffffffffbdedfd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1111	d77ffffffffffffffffffffffe03ffffefffffffffffffffffffe6dfdfaf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1112	ffffff3fffffffbffffffffffffffffffc7ffffffbfffffff9fffffffffffffff7ffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1113	ffffffffdfffffffffffff3ffcf97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1114	e7fffffffffffffffffffffffe00ffffefffffffffffffffffffeff79e5bfbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1115	fffffeffffffffbfffffffffffffffffe3fffffff7ffffffe7ffffffffffffffefffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1116	ffffffffdfffffffffffffbbbef6df40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1117	d5fffffffffffffffffffffffe003fffeff0f16987478b87fffff7fdbfafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1118	fffffeffffffffbfffffffffffffffff1fffffffefffffff9fffffffffffffffdfffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1119	ffffffffdfffffffffffff3ffcf97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1120	e77ffffffffffffffffffffffe000fffefe6666733333333ffffe77fdf2effffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1121	fffffdffffffffbffffffffffffffff8ffffffffdffffffe7fffffffffffffffbfffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1122	ffffffffdfffffffffffffbeedf57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1123	d7fffffffffffffffffffffffe0003ffefff6f6ffb7b7b7bfffff7df9eaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1124	fffffbffffffffbfffffffffffffffc7ffffffffbffffff9ffffffffffffffff7fffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1125	ffffffffdfffffffffffff37fef56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1126	e7fffffffffffffffffffffffe0000ffeff06f6f837b7b03ffffe7f6df5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1127	fffffbffffffffbfffffffffffffff3fffffffffbfffffe7fffffffffffffffeffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1128	ffffffffdfffffffffffff7fbcfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1129	d77ffffffffffffffffffffffe0001ffefe76f6f3b7b7b7fffffefff9eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1130	fffff7ffffffffbffffffffffffff8ffffffffff7fffff9ffffffffffffffffdffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1131	ffffffffdfffffffffffffbdedf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1132	e5fffffffffffffffffffffffe0007ffefef6f6f7b7b7b7ffffff7bfbeaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1133	ffffe7ffffffff7fffffffffffffc7fffffffffefffffe7ffffffffffffffffbffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1134	ffffffffdfffffffffffff3ffcf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1135	d7fffffffffffffffffffffffe001fffefe6666f337b3333ffffe7fbdeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1136	ffffefffffffff7ffffffffffffe3ffffffffffdfffff9fffffffffffffffff7ffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1137	ffffffffdfffffffffffffbf7ef57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1138	e77ffffffffffffffffffffffe807fffe071316f897b8b87fffff6df9fafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1139	ffffdfffffffff7ffffffffffff1fffffffffffdffffe7ffffffffffffffffefffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1140	ffffffffdfffffffffffff3bdcfd7fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1141	d7fffffffffffffffffffffffe21ffffffffff7ffffffbffffffe7fdbeadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1142	ffffbfffffffff7fffffffffff8ffffffffffffbffffdfffffffffffffffffdfffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1143	ffffffffdfffffffffffffbffdf96f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1144	e5fffffffffffffffffffffffe07ffffffffe67fffff33ffffffefff9eafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1145	ffffbfffffffff7ffffffffffc7ffffffffffff7ffff3fffffffffffffffffbfffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1146	ffffffffdfffffffffffff3feef37dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1147	d77ffffffffffffffffffffffe1ffffffffff0ffffff87fffffff7b7deafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1148	ffff7fffffffff7fffffffffe3ffffffffffffeffffcffffffffffffffffff7fffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1149	ffffffffdfffffffffffffbb7cfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1150	e7fffffffffffffffffffffffe7fffffffffffffffffffffffffe7ff9eaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1151	ffff7ffffffffeffffffffff1fffffffffffffeffff3fffffffffffffffffeffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1152	ffffffffefffffffffffff3ffef97740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1153	d7fffffffffffffffffffffffffffffffffffffffffffffffffff77dbfaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1154	fffefffffffffefffffffff8ffffffffffffffdfffcffffffffffffffffffdffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1155	ffffffffefffffffffffff7fecf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1156	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7efdf2ddfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1157	fffefffffffffeffffffffc7ffffffffffffffbfff3ffffffffffffffffffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1158	ffffffffefffffffffffffbb7df55f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1159	d5fffffffffffffffffffffffffffffffffffffffffffffffffff7ff9f6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1160	fffdfffffffffefffffffe3fffffffffffffff7ffcfffffffffffffffffff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1161	ffffffffefffffffffffff3ffcfafbc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1162	67ffffffffffffffffffffffffffffffffffffffffffffffffffe7b6deaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1163	fffdfffffffffefffffff1fffffffffffffffefff3fffffffffffffffffff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1164	ffffffffefffffffffffffbeeef57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1165	d77ffffffffffffffffffffffffffffffffffffffffffffffffff7ff9eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1166	fffbfffffffffeffffff8ffffffffffffffffeffcfffffffffffffffffffefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1167	ffffffffefffffffffffff37fcf56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1168	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe6ffbeaf77ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1169	fff7fffffffffdfffffc7ffffffffffffffffdff3fffffffffffffffffffdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1170	ffffffffefffffffffffff7fbdfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1171	d5fffffffffffffffffffffffe3fffffffffffffffffffffffffefdbdf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1172	fff7fffffffffdfffff3fffffffffffffffffbfcffffffffffffffffffffbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1173	ffffffffefffffffffffffbdeef97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1174	e77ffffffffffffffffffffffe0ffffff7fff03bfffffffffffff7ff9eafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1175	ffeffffffffffdffff8ffffffffffffffffff7f3ffffffffffffffffffff7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1176	ffffffffefffffffffffff3ffcf37f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1177	d7fffffffffffffffffffffffe03fffff7ff779bffffffffffffe77dbeaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1178	ffeffffffffffdfffc7ffffffffffffffffff7cffffffffffffffffffffeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1179	ffffffffefffffffffffffbf7df67740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1180	e7fffffffffffffffffffffffe00fffff7ff77dffffffffffffff7ef9eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1181	ffdffffffffffdffe3ffffffffffffffffffef3ffffffffffffffffffffdffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1182	ffffffffefffffffffffff3bdcf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1183	d77ffffffffffffffffffffffe003ffff74617db478bffffffffe7ffdfafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1184	ffdffffffffffdff1fffffffffffffffffffdcfffffffffffffffffffffbffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1185	ffffffffefffffffffffffbffef56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1186	e5fffffffffffffffffffffffe000ffff73377bb3333fffffffff7bb9f2df7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1187	ffbffffffffffbf8ffffffffffffffffffffb3fffffffffffffffffffff7ffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1188	ffffffffefffffffffffff3efcfd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1189	d7fffffffffffffffffffffffe0003fff77b707b7b7bffffffffe7ffbe6fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1190	ffbffffffffffbc7ffffffffffffffffffff8fffffffffffffffffffffefffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1191	ffffffffefffffffffffffbfedf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1192	e77ffffffffffffffffffffffe0000fff77b77bb7b7bffffffffeedddf4f6fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1193	ffbffffffffffa3fffffffffffffffffffff3fffffffffffffffffffffdfffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1194	ffffffffefffffffffffff3012f57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1195	d7fffffffffffffffffffffffe0001fff77b77db7b7bfffffffff7ff9f5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1196	ff7fc000000000000000003ffff000000000000000000ffffc000000000000000003ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1197	000000000000000000ffff6aa4f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1198	e5fffffffffffffffffffffffe0007fff77b77db7b7bffffffffe7f7deaffbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1199	ff7fcaaaafffffffff55553ffff7ffffffffffffffffeffffdfffffffffffffffffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1200	7ffffffffffffffffeffffb7dffadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1201	d77ffffffffffffffffffffffe001ffff77b77db7b33fffffffff7bd9eaedfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1202	feffd5555ffffffffeaaaabffff7ffffffffffffffffeffffdfffffffffffffffffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1203	7ffffffffffffffffeffff1d75f57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1204	e7fffffffffffffffffffffffe007ffff77b97db7b8bffffffffe7ffbfafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1205	feffcaaaafffffffff7ffd3ffff7ffffffffffffffffeffffdfffffffffffffffffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1206	7ffffffffffffffffeffffbbdff57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1207	d7fffffffffffffffffffffffe41fffffffffffffffbffffffffeeef9eadf7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1208	fdffcab55fdeffbfff7ffabffff7ffffe5bfb067ffffeffffdffcbfffff7feff3ffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1209	7ffff81bfedffffffeffff3775fd6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1210	e77ffffffffffffffffffffffe07ffffffffffffff33fffffffff7fbbeafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1211	fdffcabaafdefffffebff53ffff7fffffd9f3fb7ffffeffffdffdbfffff7feffbffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1212	7ffffbffffdffffffeffffaeeff97b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1213	d5fffffffffffffffffffffffe1fffffffffffffff87ffffffffe7ff9eafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1214	fdffd57d5fded3b77ebffabffff7ffffeddfb7f7ffffeffffdfffbf8eb74f2e3bffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1215	7ffffbfb4e8c7ffffeffff3b5af37f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1216	67fffffffffffffffffffffffe7ffffffffffffffffffffffffff6dfdfaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1217	fbffd57aafdecdb77f5ff53ffff7ffffefaeb7b7ffffeffffdffdbf774b76dddbffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1218	7ffffbfb36dbbffffeffffadfffd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1219	d77fffffffffffffffffffffffffffffffffffffffffffffffffe7fd9eafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1220	fbffcafd5fdeddb77f5feabffff7ffffedaef27fffffeffffdffdfff6ff77efffffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1221	7ffff83b76dbbffffeffff3755f97740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1222	e7ffffffffffffffffffffffffffffffffffffffffffffffffffefefbf5befffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1223	f7ffcafeafdeddbafeafd53ffff7ffffedf5b7f7ffffeffffdffdbfd6db76ef1bffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1224	7ffffbfb76d83ffffeffffbdeff57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1225	d5fffffffffffffffffffffffffffffffffffffffffffffffffff77fdeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1226	f7ffd5ff5fdeddbafeafeabffff7fffffdbdbff7ffffeffffdffdbf76dbfeeddbffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1227	7ffffbfb76dbfffffeffff36baf56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1228	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7fd9eaf7bffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1229	f7ffd5feafdeddbdff57d53ffff7ffffedbbb7f7ffffeffffdfffbf77db37dddbffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1230	7ffffbfb76dbbffffeffffaff7fd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1231	d7fffffffffffffffffffffffffffffffffffffffffffffffffff7efbf5bffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1232	efffcbff5fe1ddbdff57aabffff7ffffefbfb7f7ffffeffffdffda39aff4f2ebbffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1233	7ffffbfb76cc7ffffeffff3d5df57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1234	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe77f9eaeefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1235	efffcbffaffffffffeab553ffff7ffffeffffff7ffffeffffdffdfffffffffffbffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1236	7ffffffffffffffffeffffabfbf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1237	d77ffffffffffffffff1fffffffffffffffffffffffffffffffff7dddeafffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1238	efffd7ffdffffffffeabaabffff7ffffeffffff7ffffeffffdffdfffffffffffbffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1239	7ffffffffffffffffeffff3eaef57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1240	e5fffffffffffffffff27ffffff7fffeffffffffffffffffffffe7ff9eafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1241	dfffcaaaafffffffff55553ffff7fffff7ffffefffffeffffdffefffffffffffbffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1242	7ffffffffffffffffeffffab7bfadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1243	d7fffffffffffffffff89ffffff7ffeefffffffffffffffffffff7f7bfaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1244	dfffd5555ffffffffeaaaabffff7ffffffffffffffffeffffdfffffffffffffffffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1245	7ffffffffffffffffeffff3fd7f57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1246	e77ffffffffffffffff227ffffebffeeffffffffffffffffffffe7bddf2fffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1247	dfffcaaaafffffffff55553ffff7ffffffffffffffffeffffdfffffffffffffffffbffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1248	7ffffffffffffffffeffffaabef57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1249	d7fffffffffffffffff009ffffebef428ffffffffffffffffffff7ff9f5bbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1250	bfffc000000000000000003ffff000000000000000000ffffc000000000000000003ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1251	000000000000000000ffff37ebf56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1252	e5fffffffffffffffff5427fffddef6e67ffffffffffffffffffe6efdeaff7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1253	bffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1254	ffffffff9fffffffffffffbd5dfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1255	d77ffffffffffffffff0109fffddef6ef7ffffffffffffffffffeffd9eaeffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1256	bffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1257	fffffffe1fffffffffffff2bf7f97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1258	e7fffffffffffffffff54427ffbeef6ef7fffffffffffffffffff7bfbeafefffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1259	7ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1260	fffffff8bfffffffffffffbeaefb7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1261	d7fffffffffffffffff0108fff80ef6ef7ffffffffffffffffffe7f79faf7fffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1262	7ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1263	fffffff5bfffffffffffff2bfbf57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1264	e77ffffffffffffffffa423fffbeef6ef7fffffffffffffffffff7ffde5bfbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1265	7ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1266	ffffffc37fffffffffffffbeadf57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1267	d5fffffffffffffffff114ffff7f666ef7ffffffffffffffffffe6001fafdfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1268	7ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1269	ffffff2effffffffffffff35f7f56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1270	67fffffffffffffffff843ffff7f7172f7ffffffffffffffffffecaabf2effffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1271	7ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1272	fffffedeffffffffffffffaf5ef57dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1273	d77ffffffffffffffff11ffffffffffffffffffffffffffffffff77ffeaff7fffffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1274	fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1275	fffff93dffffffffffffff3dfbf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1276	e7fffffffffffffffff43fffffffffffffffffffffffffffffffebd55f5bbffffffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1277	fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1278	ffffe6fbffffffffffffff56adfd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1279	d5fffffffffffffffff1ffffffffffffffffffffffffffffffffe6bbfeaffffffffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1280	fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1281	ffff9dfbffffffffffffffbbf7f97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1282	e77ffffffffffffffffbffffffffffffffffffffffffffffffffebeebeaef7fffffffffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1283	fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1284	ffff7bf7ffffffffffffff2f5df35f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1285	d7fffffffffffffffffffffffffffffffffffffffffffffffffff6bdfeafbffffffffffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1286	fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1287	fffce7f7ffffffffffffffbafbfcfbc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1288	e7ffffffffffffffffffffffffffffffffffffffffffffffffffe3d75faffffffffffffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1289	fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1290	fff3dfefffffffffffffff2f56f57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1291	d77ffffffffffffffffffffffffffffffffffffffffffffffffff77dfeadf7fffffffffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1292	fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1293	ffcfbfdfffffffffffffffb5fff56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1294	e5ffffffffffffffffffffffffffffffffffffffffffffffffffe6d6beafbffffffffffd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1295	fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1296	ffbe7fdfffffffffffffff3f55f57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1297	d7fffffffffffffffffffffffffffffffffffffffffffffffffff5fbfeafeffffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1298	ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1299	fe7dffbfffffffffffffffaafffd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1300	e77fffffffffffffffffffffffffffffffffffffffffffffffffe7aebeaefffffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1301	ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1302	f9fbff7fffffffffffffff3faaf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1303	d7fffffffffffffffff1fffffffffffffffffffffffffffffffff57dffaffbfffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1304	ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1305	e7e7ff7fffffffffffffffaadff57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1306	e5fffffffffffffffffa7fffffc7ffbfffffffffffffffffffffe7d75f2ddffffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1307	ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1308	dfdffefffffffffffffffe3ff5f57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1309	d77ffffffffffffffff09fffff39ffbfffbfffffffffffffffffeabeff6ffffffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1310	ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1311	3fbffefffffffffffffff9aaaff56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1312	e7fffffffffffffffff227ffff7dffbfffbffffffffffffffffff7ebbeaeeffffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1313	ffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1314	ff7ffdffffffffffffffe73ffdfd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1315	d7fffffffffffffffff889ffff7fbda3c30fffffffffffffffffe2b77eaffffffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1316	ffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1317	fcfffbffffffffffffff9faaabf97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1318	e77ffffffffffffffff2027fff9fbd99bdbffffffffffffffffff7fddeaf77fffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1319	ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffe7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1320	fbfffbfffffffffffffe7f3dfefb7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1321	d5fffffffffffffffff0509fffe7bdbdbfbfffffffffffffffffe6ab7f5bfffffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1322	ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffff9f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1323	f7fff7fffffffffffff9ff56abf27f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1324	67fffffffffffffffffa8427fff9bdbdc3bffffffffffffffffff5ffbeafdffffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1325	ffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffe7f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1326	cfffefffffffffffffe7ffbffdf6df40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1327	d77ffffffffffffffff0108ffffdbdbdf9bfffffffffffffffffe6aafeaef7fffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1328	ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffffdff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1329	bfffefffffffffffff9fff1557f97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1330	e7fffffffffffffffff4a23fff7dbdbdfdbffffffffffffffffff7ffbeaffffffffffff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1331	ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffff3ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1332	7fffdffffffffffffe7fffbfbef57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1333	d5fffffffffffffffff204ffff399999bdbfffffffffffffffffe5557fafbfffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1334	ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffcffc
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1335	ffffdffffffffffff9ffff2aebfd6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1336	e77ffffffffffffffff0abffffc7c5a3c3cffffffffffffffffff7bfdf2df7ffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1337	ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffff3ffb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1338	ffffbfffffffffffe7fffebfddf57b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1339	d7fffffffffffffffff40fffffffffffffffffffffffffffffffe6d57e6fffffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1340	ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffefff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1341	ffff7fffffffffff9ffffd3577f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1342	e7fffffffffffffffff8bffffffffffffffffffffffffffffffff5ffbf4f6fffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1343	ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffff9ffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1344	ffff7ffffffffffe7ffffbafddf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1345	d77ffffffffffffffff2ffffffffffffffffffffffffffffffffe7aaff5bffffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1346	ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffe7ff9f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1347	fffefffffffffff9ffffe73abbfd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1348	e5fffffffffffffffff3fffffffffffffffffffffffffffffffff57fdeaffbffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1349	ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffdfff7f
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1350	fffdffffffffffe7ffffdfb7f6f57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1351	d7ffffffffffffffffffffffffffffffffffffffffffffffffffe7d57eaedfffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1352	ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffff3ffeff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1353	fffdffffffffff9fffffbf1aaff56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1354	e77ffffffffffffffffffffffffffffffffffffffffffffffffff56fbfafffffffffffef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1355	ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffcfff9ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1356	fffbfffffffffe7ffffe7f6ffdf57dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1357	d7ffffffffffffffffffffffffffffffffffffffffffffffffffe7fafeadf7ffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1358	ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffff3fff7ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1359	fffbfffffffff9fffffdffbaabf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1360	e5fffffffffffffffffffffffffffffffffffffffffffffffffff557deafbfffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1361	ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffffffefffefff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1362	fff7ffffffffe7fffffbff2f7dfd7740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1363	d77fffffffffffffffffffffffffffffffffffffffffffffffffe6fd7eafffffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1364	ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffffff9fff9fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1365	ffefffffffff9fffffe7ffb5d7f97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1366	e7fffffffffffffffffffffffffffffffffffffffffffffffffff7abbfaef7ffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1367	ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffe7fff7fff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1368	ffeffffffffe7fffffdfff3fbef6df40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1369	d7fffffffffffffffff1ffffffffffffffffffffffffffffffffe57efeafbfffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1370	ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffff9fffeffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1371	ffdffffffff9ffffffbfffaad5f97bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1372	e77ffffffffffffffffa7fffff7fffffefff7ffffffffffffffff7d5df5befffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1373	ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffff7fffdffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1374	ffbfffffffe7ffffff7fff3f7ff57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1375	d5fffffffffffffffff09fffff7fffffefff7fffffffffffffffe7fffeafffffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1376	ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffffcffff3ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1377	ffbfffffff9ffffffcffffbffff56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1378	67fffffffffffffffff227ffff7fffffefff7ffffffffffffffff7ff9eaf7bffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1379	ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffff3fffefffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1380	ff7ffffffe7ffffffbffff3ffcfd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1381	d77ffffffffffffffff889ffff7f874ce8f170ffffffffffffffe7ffbf5bffffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1382	ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffeffffdfffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1383	ff7ffffffdfffffff7ffffbff9f57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1384	e7fffffffffffffffff2027fff7f33336666667ffffffffffffff77f3eaeefffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1385	ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffff9ffff3fffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1386	fefffffff3ffffffcfffff1eddf57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1387	d5fffffffffffffffff0509fff7ffb776f6f7f7fffffffffffffebf67eafffffffffffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1388	ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffe7fffeffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1389	fdffffffcfffffffbfffff6ff3f57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1390	e77ffffffffffffffffa8427ff7f83776f6f707fffffffffffffe7debeafdfffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1391	ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffff9ffffdffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1392	fdffffff3fffffff7fffffbdf5fd7fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1393	d7fffffffffffffffff0108fff7f3b776f6f677ffffffffffffff5fcffaef7ffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1394	ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffff7ffff3ffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1395	fbfffffcfffffffcfffffe2f6bf96f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1396	e7fffffffffffffffff4a23fff7f7b776f6f6f7fffffffffffffe7fedf2fffffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1397	ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffcffffefffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1398	f7fffff3fffffffbfffffebfe6f37dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1399	d77ffffffffffffffff204ffff7f33776666667ffffffffffffff5797f5bbfffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1400	ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffff3ffffdfffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1401	f7ffffcffffffff7fffffd37cbfd7f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1402	e5fffffffffffffffff0abffff03897768f1713fffffffffffffe7f9beaff7ffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1403	ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffcfffffbfffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1404	efffff3fffffffeffffffbafedf97740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1405	d7fffffffffffffffff40fffffffffffffffffffffffffffffffeab3feaeffffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1406	ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffbffffe7fffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1407	effffcffffffff9ffffff73d9ff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1408	e77ffffffffffffffff8bfffffffffffffffffffffffffffffffe7fb5eafefffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1409	ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffe7ffffdffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1410	dffff3ffffffff7ffffff757aaf55f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1411	d7fffffffffffffffff2ffffffffffffffffffffffffffffffffeab6ffaf7fffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1412	ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffff9fffffbffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1413	bfffcffffffffeffffffef3dfffafbc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1414	e5fffffffffffffffff3fffffffffffffffffffffffffffffffff7fbbe5bfbffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1415	ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffe7ffffe7ffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1416	bfff3ffffffff9ffffffdfab55f57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1417	d77fffffffffffffffffffffffffffffffffffffffffffffffffe7ffffafdfffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1418	ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffdfffffdfffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1419	7ffcfffffffff7ffffffbf3ffff56fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1420	e7ffffffffffffffffffffffffffffffffffffffffffffffffffefffff2effffffffffbf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1421	fffffffffffeffffffffffffffffffffffffffffffffffffffffffff3fffffbffffffffe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1422	fff3ffffffffefffffff7ffffffd7b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1423	d7ffa492492492492495252492492492492492492492492492493ffffeaff7fc92492492
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1424	492492492492492492492492492492492492492492492492492492492492492492492492
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1425	4924924924924924924924fffff97f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1426	e77f924924924924924848924924924924924924924924924924bfffff5bbff924924924
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1427	924924924924924924924924924924924924924924924924924924924924924924924924
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1428	9249249249249249249249fffff37f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1429	d5ffafbfffffffffffffffffffffffffffffffffffffffffffdffffffeaffffafbffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1430	fffffffffffffffffffffffffffffffffffffdf7df7df7df7df7df7df7df7df7df7df7df
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1431	7df7df7df7df7df7dffdfffffff67740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1432	67ffdaf77fffffffffffffffffffffffffffffffffffffffbf7afffffeaef7fdaf77ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1433	ffffffffffffffffffffffffffffffffffffd75d75d75d75d75d75d75d75d75d75d75d75
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1434	d75d75d75d75d75d75f757fffff57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1435	d77fafde7fffffffffffffffffffffffffffffffffffffff5fd7fffffeafbffafde7ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1436	ffffffffffffffffffffffffffffffffffff9df7df7df7df7df7df7df7df7df7df7df7df
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1437	7df7df7df7df7df7effdfffffff56f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1438	e7ff957ebfffffffffffffffffffffffffffffffffffffff3ffd7fffffafeff957ebffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1439	ffffffffffffffffffffffffffffffffffffd7aebaebaebaebaebaebaebaebaebaebaeba
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1440	ebaebaebaebaebaebaff57fffffd7dc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1441	d5ffdfff7b6db6db6db76db6db6db6db6db6db6db6db6db7bbfbfffffeadfffdfff7b6db
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1442	6db6db6db6db6db6db6db6db6db6db6db6db9d7df7df7df7df7df7df7df7df7df7df7df7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1443	df7df7df7df7df7df7fffffffff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1444	e77f97fe7fffffffffffffffffffffffffffffffffffffff3eff7ffffeaffbf97fe7ffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1445	fffffffffffffffffffffffffffffffffffedbebaebaebaebaebaebaebaebaebaebaebae
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1446	baebaebaebaebad6aefffbfffff57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1447	d7ffbff6bfdf7df7defdffddeef77bbddeef77bbddeef77b3fbffffffeafbffbff6bfbbd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1448	deef77bbddeef77bbddeef77bbddeef77bbf975f7df7df7df7df7df7df7df7df7df7df7d
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1449	f7df7df7df7df7fbfdf7fffffff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1450	e7ffd1be76fbefbef7efb6ff7fbfdfeff7fbfdfeff7fbfdf5ff8fffffeadeffd1be7dfef
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1451	f7fbfdfeff7fbfdfeff7fbfdfeff7fbfdff7deead6ad6ad6ad6ad6ad6ad6ad6ad6ad6ad6
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1452	ad6ad6ad6ad6aeaeabfec7fffffadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1453	d77f9c7f7fffffffffbffff7fbfdfeff7fbfdfeff7fbfdffbbe5ffffffaffff9c7f77eff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1454	7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfefd95bfbbfbbfbbfbbfbbfbbfbbfbbfbbfbbfbb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1455	fbbfbbfbbfbbf5fb7edf2ffffff57bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1456	e5ffd6967f6db6dbbdfb7bbfdfeff7fbfdfeff7fbfdfeffb3f877ffffeaf7ffd6967f7fb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1457	fdfeff7fbfdfeff7fbfdfeff7fbfdfeff7bf9feaeeaeeaeeaeeaeeaeeaeeaeeaeeaeeaee
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1458	aeeaeeaeeaef5f57abfc5bfffff57f00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1459	d7ff9fa6bbffffffefffdffeff7fbfdfeff7fbfdfeff7fdf3e3dffffff5bf7f9fa6bffdf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1460	eff7fbfdfeff7fbfdfeff7fbfdfeff7fbfefd55fddfddfddfddfddfddfddfddfddfddfdd
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1461	fddfddfddfbafafefef1bffffffd6fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1462	077fdad47ffffffdff6ffef7fbfdfeff7fbfdfeff7fbf6ffb976fffffeafdffaad47deff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1463	7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfffb9ff577577577577577577577577577577577
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1464	57757757757757d5abc6f7fffff97a00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1465	f7ff9779700000020090010804020100804020100804090032dbfffffeaefffdf7972100
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1466	804020100804020100804020100804020004555eedeedeedeedeedeedeedeedeedeedeed
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1467	eedeedeeefedfebf7f9baffffffb7fe0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1468	e5ffddee6aaaaaa9552554a552a954aa552a954aa552a4aab7ef7ffffeaff7f95ee64a55
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1469	2a954aa552a954aa552a954aa552a954aaa91febdebdebdebdebdebdebdebdebdebdebde
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1470	bdebbbb5dd5f55d5eaeefbfffff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1471	d77f9fffffffffffffffffffffffffffffffffffffffffffffffffffff5bbffdffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1472	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1473	fffffffffffffffffffffffffff57740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1474	e7ffbffffffffffffffffffffffffffffffffffffffffffffffffffffeaffffbffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1475	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1476	fffffffffffffffffffffffffff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1477	d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffeaef7ffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1478	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1479	fffffffffffffffffffffffffff56f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1480	e77fffffffffffffffffffffffffffffffffffffffffffffffffffffffafbfffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1481	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1482	fffffffffffffffffffffffffff57f40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1483	d5fea92aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa9255555552fefeaa5555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1484	55555555555555555555555555555555555548aa4aa4aa4aa4aa4aa4aa4aa4aa4aa4a925
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1485	49552aaa9552aaaa55552aaaaaad7bc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1486	e7fd5555555555555555555555555555555555555555555555555555556dffeaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1487	aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab5555555555555555555555555555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1488	5555555555555555555555555552df00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1489	d77eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaf7bd555555555
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1490	55555555555555555555555555555555555554aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1491	aaaaaaaaaaaaaaaaaaaaaaaaaaad7fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1492	e7f955555552aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaafdf2aaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1493	aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1494	aaaaaaaaaaaaaaaaaaaaaaaaaaa97b40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1495	d5eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaffeaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1496	aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1497	aaaaaaaaaaaaaaaaaaaaaaaaaaaadf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1498	e77ffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1499	ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1500	ffffffffffffffffffffffffffffff40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1501	d7dfffff777fbbfff7ff7def7dfbdf7ef7dfbdfdf7fffbdefffffffffeffb7fffffffdf7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1502	dfbdf7ef7dfbdf7ef7dfbdf7ef7dfbdf7fffffdffdffdffdffdffdffdffdffdffdffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1503	ffdfeef7f77fef7fef77fffffffff740
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1504	e7fdb6dbffedff6dbedbef7befdefbf7befdef6fbdb6def7edb6db6db7b7ff6db6db6fbe
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1505	fdefbf7befdefbf7befdefbf7befdefbdb6db6fb6fb6fb6fb6fb6fb6fb6fb6fb6fb6db6d
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1506	b6fb7fbdbfdb7bdb7bff6db6db6dbf40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1507	d5efffffddffefffffffffffff7fffdffff7ffffffffffffbffffffffffefbffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1508	f7fffdffff7fffdffff7fffdffff7fffffffffffffffffffffffffffffffffffffffffff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1509	fffffbfffbffffffffddffffffffefc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1510	d77bffeeffdf7dbbedef77dfbbf7eefdfbbefbfb7eefbfbdffef77df7dffdff77bbddddb
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1511	bf7eefdfbbf7eefdfbbf7eefdfbbf7eefddeff6ef6ef6ef6ef6ef6ef6ef6ef6ef6efbff7
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1512	7bb7dfeefefbdef7deffbbefbffffb00
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1513	e7ff657ff6fbdfff7f7dfef6fefdbfbf6fffdf5fd7fdf5ef757bfefbef6dfebfdfeff7ff
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1514	efdbfbf6fefdbfbf6fefdbfbf6fefdbfaff7abffbffbffbffbffbffbffbffbffbffdeabf
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1515	dffef77fefdef7bef7f7ff7df4d57fc0
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1516	d52557488a955249529545554a9552a5549154d4b5254d5556aa894a555511a8a4525512
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1517	58aa962aa58aa962aa58aa962aa58aa96a555a92a92a92a92a92a92a92a92a92a92555a9
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1518	5449554894aaaaa5551444a529ab5240
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1519	eaaaa556baaab556ad6ab555555555555556aaab555aaaaaaaaab6aaaaaad6ab6dad556a
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1520	abaaaaeaaabaaaaeaaabaaaaeaaabaaaaaaad555555555555555555555555555555aad55
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1521	55ab555b6b5555555575db5ad55aad40
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1522	800004000000000000000000000000000000000000000000000000000000000000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1523	000000000000000000000000000000000000000000000000000000000000000000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1524	00000000000000000000000001000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1525	002000400040008000000800008000200000000000002010000000210000200000000004
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1526	000000000000000000000000000000000000004004004004004004004004004000000000
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1527	00200000000008100000000000000100
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1528
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1529
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1530	showpage
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1531
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1532	% stop using temporary dictionary
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1533	end
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1534
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1535	% restore original state
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1536	origstate restore
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1537
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	1538	%%Trailer

author	nipkow
	Fri, 27 Nov 1998 16:54:59 +0100
changeset 5982	aeb97860d352
parent 3170	0b3ff84bab29
child 6623	021728c71030
permissions	-rw-r--r--