aboutsummaryrefslogtreecommitdiff
path: root/fast-expt.lisp
AgeCommit message (Expand)Author
2021-09-09Add `(in-package "ACL2")` lines.HEADmasterMasaya Tojo
2021-09-04fast-expt: Add fast-expt.lisp file.Masaya Tojo