changeset 20452 | 6d8b29c7a960 |
parent 20451 | 27ea2ba48fa3 |
child 20470 | c839b38a1f32 |
--- a/doc-src/IsarImplementation/Thy/prelim.thy Thu Aug 31 22:55:49 2006 +0200 +++ b/doc-src/IsarImplementation/Thy/prelim.thy Thu Aug 31 23:01:16 2006 +0200 @@ -403,7 +403,7 @@ *} -section {* Named entities *} +section {* Name spaces *} text {* By general convention, each kind of formal entities (logical @@ -536,7 +536,7 @@ *} -subsection {* Qualified names and name spaces *} +subsection {* Qualified names *} text {* A \emph{qualified name} essentially consists of a non-empty list of