The directory `lib_integers` of the library
gives a definition of the
integers. In it integers are represented as pairs
of natural numbers where the pair (*n*,*m*) represents
the integer *n*-*m*.

- Extra lemmas for integers
- The Integers-Definitions
- Basic Lemmas
- Some theorems about Modulo
- Some integer facts for number theory
- Boolean valued functions on the integers
- Propositional relations on integers
- Max and min on integers

Fri May 24 19:01:27 BST 1996