Logops-functions
A theory consisting of all function names of functions considered to
be logical operations on numbers.
If you are using the book logops-lemmas, you will need to
DISABLE this theory in order to use the lemmas contained therein, as most of
the logical operations on numbers are non-recursive.
