isabelle: doc-src/IsarImplementation/Thy/locale.thy@18bc59fb01b5 (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
20520 05fd007bdeb9 tuned; wenzelm parents: 20477 diff changeset	13	section {* Type-inference *}
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
20477 e623b0e30541 tuned; wenzelm parents: 20451 diff changeset	18	section {* Local theories *}
20451 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
	Thu, 20 Dec 2007 12:02:46 +0100
changeset 25725	18bc59fb01b5
parent 20520	05fd007bdeb9
permissions	-rw-r--r--