aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages/acl2-kernel.scm
AgeCommit message (Expand)Author
2021-09-08Delete acl2-kernel.scm file.Masaya Tojo
2021-09-08acl2: Update.Masaya Tojo
2021-09-08acl2-kernel: Add acl2-kernel.Masaya Tojo