From af0b9d96812a399bd7e3d20a1157b361ec227ae4 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sun, 25 Jul 2021 11:28:12 +0900 Subject: L-99: Rename from encode-direct-equal-encode-modified to encode-direct-equal-encode-modified. --- L-99.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/L-99.lisp b/L-99.lisp index b7e7ff8..26bb663 100644 --- a/L-99.lisp +++ b/L-99.lisp @@ -389,14 +389,14 @@ (implies (posp n) (consp (repeat x n)))) -(defthm encode-direct-equal-encode-mofified-1 +(defthm encode-direct-equal-encode-modified-1 (implies (and (atom-listp x) (atom sym) (natp n)) (equal (encode-direct-1 x sym n) (encode-modified-1 (encode-1 (pack-1 x (repeat sym n))))))) -(defthm encode-direct-equal-encode-mofified +(defthm encode-direct-equal-encode-modified (implies (atom-listp x) (equal (encode-direct x) (encode-modified x)))) -- cgit v1.2.3