\label{theorems}

The sections that follow list all theorems in the theory \ml{res\_quan}.
When the \ml{res\_quan} library is loaded, all the theorems listed in
this chapter  are set up to autoload when their names are mentioned
in \ML.

