|
|
|---|
|
|
|
|---|
The "minimal" theory for the book "logops-definitions".
This theory contains the DEFUN-TYPE/EXEC-THEORY (which see) of all functions considered to be logical operations on numbers, and all lemmas (predominately `type lemmas') proved in this book. All functions in the list *LOGOPS-FUNCTIONS* are DISABLEd.