summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2022-07-18lists/shuffle: Solve Double-rewrite warning.HEADmainMasaya Tojo
2022-07-18lists/shuffle: Solve Free warnings.Masaya Tojo
2022-07-18lists/perm: FIx perm-rev theorem.Masaya Tojo
2022-07-18lists/perm: Add defcongs.Masaya Tojo
2022-07-18lists/perm: Solve Free warnings.Masaya Tojo
2022-07-18lists/perm: Move member-remove1.Masaya Tojo
2022-07-16lists: perm: Add guards.Masaya Tojo
2022-07-16lists: remove-nth, shuffle: Add remove-nth and shuffle.Masaya Tojo
2022-07-16perm: Moved to lists directory.Masaya Tojo
2022-07-15perm: Add (in-package "ACL2").Masaya Tojo
2022-07-15perm: Update Makefile.Masaya Tojo
* Makefile(all): Add perm.cert * Makefile(perm.cert): New rule.
2022-07-15perm: New file.Masaya Tojo
* perm.lisp: New file.
2022-07-15huffman-encode: rationalp-0-count-and-remove: Use `mv-nth` function.Masaya Tojo
2022-07-14huffman-encode: Refactor.Masaya Tojo
2022-07-14huffman-encode: decode1-append-encode-1: Renamed.Masaya Tojo
2022-07-14huffman-encode: consp-encode-1, consp-encode: Fix hypotheses.Masaya Tojo
2022-07-14huffman-encode: Rearrange functions and thiorems.Masaya Tojo
2022-07-14huffman-encode: huffman-leaf-listp: Removed.Masaya Tojo
2022-07-14huffman-encode: Rearrange functions and thiorems about node-count.Masaya Tojo
2022-07-14huffman-encode: Refactor.Masaya Tojo
2022-07-14huffman-encode: rationalp-weight/leaf: Fix.Masaya Tojo
2022-07-14huffman-encode: symbol-list-leaf-symbol: Rename.Masaya Tojo
2022-07-14huffman-encode: Rearrance functions.Masaya Tojo
2022-07-14huffman-encode: Remove huffman-leafp function.Masaya Tojo
2022-07-14huffman-encode: Update comment.Masaya Tojo
2022-07-14huffman-encode: Rearrange codes.Masaya Tojo
2022-07-14huffman-encode: node-count: Add guards.Masaya Tojo
2022-07-14.gitignore: Add `temp-emacs-file.lsp` file.Masaya Tojo
2022-07-14Add huffman-encode.Masaya Tojo
2022-07-14Add LICENSE file.Masaya Tojo
2022-07-14Add .gitignore file.Masaya Tojo