- Introduction
- Construction of Lists
- Creation of New Lists
- S cat T : List, List -> List
- S cat:= T : List, List ->
- Append(S, x) : List, Elt -> List
- Append(~S, x) : List, Elt ->
- Insert(~S, i, x) : List, RngIntElt, Any ->
- Prune(S) : List -> List
- Prune(~S) : List ->
- SequenceToList(Q) : SeqEnum -> List
- TupleToList(T) : Tup -> List
- Reverse(L) : List -> List
- Access Functions
- Assignment Operator
- Iteration
V2.28, 13 July 2023