CVS difference for ai12s/ai12-0080-1.txt

Differences between 1.15 and version 1.16
Log of other versions for file ai12s/ai12-0080-1.txt

--- ai12s/ai12-0080-1.txt	2014/11/14 02:38:37	1.15
+++ ai12s/ai12-0080-1.txt	2014/12/03 18:37:39	1.16
@@ -326,7 +326,7 @@
 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.
 @b<Type Invariant.> See Invariant.

Questions? Ask the ACAA Technical Agent