From 07242a16ff73b043202a8e82a087e506ea7ad40b Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 14 Jul 2022 13:02:30 +0900 Subject: huffman-encode: symbol-list-leaf-symbol: Rename. --- huffman-encode.lisp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'huffman-encode.lisp') diff --git a/huffman-encode.lisp b/huffman-encode.lisp index 728b012..f634a84 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -155,7 +155,7 @@ (implies (huffman-treep x) (true-listp (symbol-list x)))) -(defthm symbol-list-leaf +(defthm symbol-list-leaf-symbol (implies (and (huffman-treep x) (not (nodep x))) (equal (symbol-list x) -- cgit v1.2.3