1\label{theorems}
2
3The sections that follow list all theorems in the \ml{pred\_sets} library,
4including definitions. The theorems are grouped into sections according to
5subject matter. Some theorems could be classified under more than one subject,
6but each theorem is listed in only one section. The reader may therefore have
7to consult more than one section when searching for any particular theorem.
8
9When the \ml{pred\_sets} library is loaded, all the theorems listed in this
10chapter (including definitions) are set up to autoload when their names are
11mentioned in \ML.
12
13