diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-15 23:32:42 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-15 23:32:42 +0900 |
| commit | ed32e9654d7ac587470f3a9190c708483d68de52 (patch) | |
| tree | 394f8e54b441aa3cddbf3a02403bf813b1d11dc6 | |
| parent | 11baab578f78913dd282c4a0a9f882aed9070787 (diff) | |
perm: Add (in-package "ACL2").
| -rw-r--r-- | perm.lisp | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +(in-package "ACL2") + (defun perm (x y) (cond ((atom x) (atom y)) |