index
:
acl2
master
Debian dgit repo for package acl2
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
books
/
workshops
/
2007
/
dillinger-et-al
/
code
/
defstruct-parsing.acl2
blob: 3b7a1995926382ea6afd1a26f3c4b65dec69349b (
plain
)
1
2
3
(in-package "ACL2") (ld "hacker-pkg.lsp") (certify-book "defstruct-parsing" ? t)