summaryrefslogtreecommitdiff
path: root/lists
AgeCommit message (Expand)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