CVS difference for ais/ai-20302.txt

--- ais/ai-20302.txt	2005/01/07 03:05:14	1.14
+++ ais/ai-20302.txt	2005/01/28 02:10:54	1.15
@@ -4200,8 +4200,8 @@
 
 The language-defined generic package Containers.Indefinite_Vectors provides a
 private type Vector and a set of operations. It provides the same
-operations as the package Vectors does, with the difference that the
-generic formal Element_Type is indefinite.
+operations as the package Containers.Vectors (see A.18.2) does, with the
+difference that the generic formal Element_Type is indefinite.
 
 Static Semantics
 
@@ -4218,7 +4218,8 @@
 
 The language-defined generic package Containers.Indefinite_Doubly_Linked_Lists
 provides private types List and Cursor, and a set of operations for each
-type. It provides the same operations as the package Doubly_Linked_Lists
+type. It provides the same operations as the package
+Containers.Doubly_Linked_Lists (see A.18.3)
 does, with the difference that the generic formal Element_Type is
 indefinite.
 
@@ -4253,8 +4254,8 @@
 A.18.12 The Package Containers.Indefinite_Hashed_Maps
 
 The language-defined generic package Containers.Indefinite_Hashed_Maps provides
-a map with the same operations as the package Hashed_Maps, with the
-difference that the generic formal types Key_Type and Element_Type are
+a map with the same operations as the package Containers.Hashed_Maps (see A.18.5),
+with the difference that the generic formal types Key_Type and Element_Type are
 indefinite.
 
 Static Semantics
@@ -4290,7 +4291,8 @@
 A.18.13 The Package Containers.Indefinite_Ordered_Maps
 
 The language-defined generic package Containers.Indefinite_Ordered_Maps
-provides a map with the same operations as the package Ordered, with the
+provides a map with the same operations as the package Containers.Ordered
+(see A.18.6), with the
 difference that the generic formal types Key_Type and Element_Type are
 indefinite.
 
@@ -4327,8 +4329,9 @@
 A.18.14 The Package Containers.Indefinite_Hashed_Sets
 
 The language-defined generic package Containers.Indefinite_Hashed_Sets provides
-a set with the same operations as the package Hashed_Sets, with the
-difference that the generic formal type Element_Type is indefinite.
+a set with the same operations as the package Containers.Hashed_Sets (see
+A.18.8), with the difference that the generic formal type Element_Type is
+indefinite.
 
 Static Semantics
 
@@ -4345,8 +4348,9 @@
 A.18.15 The Package Containers.Indefinite_Ordered_Sets
 
 The language-defined generic package Containers.Indefinite_Ordered_Sets provides
-a set with the same operations as the package Ordered_Sets, with the
-difference that the generic formal type Element_Type is indefinite.
+a set with the same operations as the package Containers.Ordered_Sets (see
+A.18.9), with the difference that the generic formal type Element_Type is
+indefinite.
 
 Static Semantics
 
@@ -8940,14 +8944,14 @@
 
    @b<function> Union (Left, Right : Set) @b<return> Set;
 
-   @b<function> "or" (Left, Right : Set) @b<return> Set @b<renames> Union;
+   @b<function> "@b<or>" (Left, Right : Set) @b<return> Set @b<renames> Union;
 
    @b<procedure> Intersection (Target : @b<in out> Set;
                            Source : @b<in>     Set);
 
    @b<function> Intersection (Left, Right : Set) @b<return> Set;
 
-   @b<function> "and" (Left, Right : Set) @b<return> Set @b<renames> Intersection;
+   @b<function> "@b<and>" (Left, Right : Set) @b<return> Set @b<renames> Intersection;
 
    @b<procedure> Difference (Target : @b<in out> Set;
                          Source : @b<in>     Set);
@@ -8961,7 +8965,7 @@
 
    @b<function> Symmetric_Difference (Left, Right : Set) @b<return> Set;
 
-   @b<function> "xor" (Left, Right : Set) @b<return> Set
+   @b<function> "@b<xor>" (Left, Right : Set) @b<return> Set
      @b<renames> Symmetric_Difference;
 
    @b<function> Overlap (Left, Right : Set) @b<return> Boolean;
@@ -9156,7 +9160,7 @@
 @b<package> Ada.Containers.Ordered_Sets @b<is>
    @b<pragma> Preelaborate (Ordered_Sets);
 
-   @b<type> Set @b<is tagged private;>
+   @b<type> Set @b<is tagged private>;
 
    @b<type> Cursor @b<is private>;
 
@@ -9219,14 +9223,14 @@
 
    @b<function> Union (Left, Right : Set) @b<return> Set;
 
-   @b<function> "or" (Left, Right : Set) @b<return> Set @b<renames> Union;
+   @b<function> "@b<or>" (Left, Right : Set) @b<return> Set @b<renames> Union;
 
    @b<procedure> Intersection (Target : @b<in out> Set;
                            Source : @b<in>     Set);
 
    @b<function> Intersection (Left, Right : Set) @b<return> Set;
 
-   @b<function> "and" (Left, Right : Set) @b<return> Set @b<renames> Intersection;
+   @b<function> "@b<and>" (Left, Right : Set) @b<return> Set @b<renames> Intersection;
 
    @b<procedure> Difference (Target : @b<in out> Set;
                          Source : @b<in>     Set);
@@ -9240,7 +9244,7 @@
 
    @b<function> Symmetric_Difference (Left, Right : Set) @b<return> Set;
 
-   @b<function> "xor" (Left, Right : Set) @b<return> Set @b<renames>
+   @b<function> "@b<xor>" (Left, Right : Set) @b<return> Set @b<renames>
       Symmetric_Difference;
 
    @b<function> Overlap (Left, Right : Set) @b<return> Boolean;
@@ -9503,8 +9507,8 @@
 
 The language-defined generic package Containers.Indefinite_Vectors provides a
 private type Vector and a set of operations. It provides the same
-operations as the package Vectors does, with the difference that the
-generic formal Element_Type is indefinite.
+operations as the package Containers.Vectors (see A.18.2) does, with the
+difference that the generic formal Element_Type is indefinite.
 
 @i<@s8<Static Semantics>>
 
@@ -9522,9 +9526,9 @@
 
 The language-defined generic package Containers.Indefinite_Doubly_Linked_Lists
 provides private types List and Cursor, and a set of operations for each
-type. It provides the same operations as the package Doubly_Linked_Lists
-does, with the difference that the generic formal Element_Type is
-indefinite.
+type. It provides the same operations as the package
+Containers.Doubly_Linked_Lists (see A.18.3) does, with the difference that the
+generic formal Element_Type is indefinite.
 
 @i<@s8<Static Semantics>>
 
@@ -9549,9 +9553,9 @@
 @dinsc
 
 The language-defined generic package Containers.Indefinite_Hashed_Maps provides
-a map with the same operations as the package Hashed_Maps, with the
-difference that the generic formal types Key_Type and Element_Type are
-indefinite.
+a map with the same operations as the package Containers.Hashed_Maps (see
+A.18.5), with the difference that the generic formal types Key_Type and
+Element_Type are indefinite.
 
 @i<@s8<Static Semantics>>
 
@@ -9577,9 +9581,9 @@
 @dinsc
 
 The language-defined generic package Containers.Indefinite_Ordered_Maps
-provides a map with the same operations as the package Ordered, with the
-difference that the generic formal types Key_Type and Element_Type are
-indefinite.
+provides a map with the same operations as the package Containers.Ordered_Maps
+(see A.18.6), with the difference that the generic formal types Key_Type and
+Element_Type are indefinite.
 
 @i<@s8<Static Semantics>>
 
@@ -9606,8 +9610,9 @@
 @dinsc
 
 The language-defined generic package Containers.Indefinite_Hashed_Sets provides
-a set with the same operations as the package Hashed_Sets, with the
-difference that the generic formal type Element_Type is indefinite.
+a set with the same operations as the package Containers.Hashed_Sets (see
+A.18.8), with the difference that the generic formal type Element_Type is
+indefinite.
 
 @i<@s8<Static Semantics>>
 
@@ -9626,8 +9631,9 @@
 @dinsc
 
 The language-defined generic package Containers.Indefinite_Ordered_Sets
-provides a set with the same operations as the package Ordered_Sets, with the
-difference that the generic formal type Element_Type is indefinite.
+provides a set with the same operations as the package Containers.Ordered_Sets
+(see A.18.9), with the difference that the generic formal type Element_Type is
+indefinite.
 
 @i<@s8<Static Semantics>>