aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
developL-99: Solve P21.Masaya Tojo3 years
masterAdd `(in-package "ACL2")` lines.Masaya Tojo3 years