isabelle: doc-src/IsarImplementation/Thy/locale.thy@a04bf731ceb6 (annotated)

18537 2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	1
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	2	(* $Id$ *)
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	3
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	4	theory "locale" imports base begin
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	5
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	6	chapter {* Structured specifications *}
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	7
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	8	section {* Specification elements *}
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	9
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	10	text FIXME
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	11
20451 27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	12
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	13	section {* Type-checking specifications *}
18537 2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	14
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	15	text FIXME
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	16
20451 27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	17
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	18	section {* Localized theory specifications *}
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	19
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	20	text {*
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	21	FIXME
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	22
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	23	\glossary{Local theory}{FIXME}
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	24	*}
27ea2ba48fa3 misc cleanup; wenzelm parents: 18537 diff changeset	25
18537 2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	26	end

author	wenzelm
	Mon, 04 Sep 2006 20:07:55 +0200
changeset 20475	a04bf731ceb6
parent 20451	27ea2ba48fa3
child 20477	e623b0e30541
permissions	-rw-r--r--