From 21801ab1ebf221b18e6542418d6459f9d8075c2d Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 22 Jul 2021 13:14:11 +0900
Subject: palindrome-sandwich: sandwich-equal-hyp を sandwich-equal-lemma
 に修正
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 palindrome-sandwich.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'palindrome-sandwich.lisp')

diff --git a/palindrome-sandwich.lisp b/palindrome-sandwich.lisp
index 78a9370..98f5e64 100644
--- a/palindrome-sandwich.lisp
+++ b/palindrome-sandwich.lisp
@@ -69,7 +69,7 @@
 
 ;; sandwich-equal の補助定理
 ;; 真リスト x が nil でないとき (app x y) は y でない
-(defthm sandwich-equal-hyp
+(defthm sandwich-equal-lemma
   (implies (and (consp x)
                 (true-listp x))
            (not (equal (app x y)
-- 
cgit v1.2.3