next up previous contents
Next: Extra lemmas for integers Up: The LEGO library Previous: Set theory

The Integers

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.

Fri May 24 19:01:27 BST 1996