isabelle: doc-src/IsarImplementation/Thy/Local_Theory.thy@d66b34e46bdf (annotated)

29755 d66b34e46bdf observe usual theory naming conventions; wenzelm parents: 20520 diff changeset	1	theory Local_Theory
d66b34e46bdf observe usual theory naming conventions; wenzelm parents: 20520 diff changeset	2	imports Base
d66b34e46bdf observe usual theory naming conventions; wenzelm parents: 20520 diff changeset	3	begin
18537 2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	4
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	5	chapter {* Structured specifications *}
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	6
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	7	section {* Specification elements *}
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	8
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	9	text FIXME
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	10
20451 27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	11
20520 05fd007bdeb9 tuned; wenzelm parents: 20477 diff changeset	12	section {* Type-inference *}
18537 2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	13
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	14	text FIXME
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	15
20451 27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	16
20477 e623b0e30541 tuned; wenzelm parents: 20451 diff changeset	17	section {* Local theories *}
20451 27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	18
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	19	text {*
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	20	FIXME
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	21
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	22	\glossary{Local theory}{FIXME}
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	23	*}
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	24
18537 2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	25	end

author	wenzelm
	Mon, 16 Feb 2009 20:47:44 +0100
changeset 29755	d66b34e46bdf
parent 20520	doc-src/IsarImplementation/Thy/locale.thy@05fd007bdeb9
child 29759	bcb79ddf57da
permissions	-rw-r--r--