--- ai12s/ai12-0080-1.txt 2014/07/15 02:50:51 1.11 +++ ai12s/ai12-0080-1.txt 2014/07/24 04:20:02 1.12 @@ -316,21 +316,21 @@ !corrigendum N(21.2/3) @drepl -Invariant. A invariant is an assertion that is expected to be True for all +@b<Invariant.> A invariant is an assertion that is expected to be True for all objects of a given private type when viewed from outside the defining package. @dby -Invariant. An invariant is an assertion that is expected to be True for all +@b<Invariant.> An invariant is an assertion that is expected to be True for all objects of a given private type when viewed from outside the defining package. !corrigendum N(41/1) @dinsa -Type. Each object has a type. A @i<type> has an associated set of values, and +@b<Type.> Each object has a type. A @i<type> has an associated set of values, and a set of @i<primitive operations> which implement the fundamental aspects of its semantics. Types are grouped into @i<categories>. Most language-defined categories of types are also @i<classes> of types. @dby -Type Invariant. See Invariant. +@b<Type Invariant.> See Invariant. !ASIS

Questions? Ask the ACAA Technical Agent