From 326b8dc46bcf5e9d0d112a6e2ddb6c63c3449ede Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 25 Jul 2021 10:48:11 +0900
Subject: L-99: Rename from repeat-len to len-repeat.

---
 L-99.lisp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/L-99.lisp b/L-99.lisp
index 15ae22f..b7e7ff8 100644
--- a/L-99.lisp
+++ b/L-99.lisp
@@ -268,7 +268,7 @@
       nil
       (cons x (repeat x (1- n)))))
 
-(defthm repeat-len
+(defthm len-repeat
   (implies (natp n)
            (equal (len (repeat x n))
                   n)))
@@ -400,4 +400,3 @@
   (implies (atom-listp x)
            (equal (encode-direct x)
                   (encode-modified x))))
-
-- 
cgit v1.2.3