diff options
Diffstat (limited to 'src/algebra/strap')
| -rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 4 | ||||
| -rw-r--r-- | src/algebra/strap/ILIST.lsp | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index f1f08c88..e1866956 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -56,7 +56,7 @@ (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;=;3$;13|)) -(PUT '|BOOLEAN;=;3$;13| '|SPADreplace| '|%eq|) +(PUT '|BOOLEAN;=;3$;13| '|SPADreplace| '|%peq|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;implies;3$;14|)) @@ -64,7 +64,7 @@ (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;equiv;3$;15|)) -(PUT '|BOOLEAN;equiv;3$;15| '|SPADreplace| '|%eq|) +(PUT '|BOOLEAN;equiv;3$;15| '|SPADreplace| '|%peq|) (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|) |BOOLEAN;<;3$;16|)) diff --git a/src/algebra/strap/ILIST.lsp b/src/algebra/strap/ILIST.lsp index 3f05b3f2..6852cb5f 100644 --- a/src/algebra/strap/ILIST.lsp +++ b/src/algebra/strap/ILIST.lsp @@ -14,7 +14,7 @@ (DECLAIM (FTYPE (FUNCTION (|%List| |%List| |%Shell|) |%Boolean|) |ILIST;eq?;2$B;3|)) -(PUT '|ILIST;eq?;2$B;3| '|SPADreplace| '|%eq|) +(PUT '|ILIST;eq?;2$B;3| '|SPADreplace| '|%peq|) (DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|) |ILIST;first;$S;4|)) |