Up
Next
Prev
PrevTail
Tail
List Structure
5.1
Introduction to Lists and Pairs
5.2
Basic Functions on Pairs
5.3
Functions for Manipulating Lists
5.3.1
Membership and Length of Lists
5.3.2
Deleting Elements of Lists
5.3.3
List Reversal
5.3.4
Functions for Sorting
5.4
Functions for Building and Searching A-Lists
5.5
Substitutions
Up
Next
Prev
PrevTail
Front
Services provided by
SourceForge