Next:
The Rationals
Up:
The LEGO library
Previous:
Library files for elimination
Example Proof developments
In this section we describe the example proof developments in the directory
lib_examples
.
The Rationals
Number Theory
Lego
Fri May 24 19:01:27 BST 1996