summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainlists/shuffle: Solve Double-rewrite warning.Masaya Tojo4 months
 
 
AgeCommit messageAuthor
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
[...]