summaryrefslogtreecommitdiff
path: root/books/defsort/cert.acl2
blob: 990a517c601b5fb493dfa6ad8b4b8b2dacffd98b (plain) 
1
2

(include-book "std/portcullis" :dir :system)
(include-book "data-structures/portcullis" :dir :system)
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-02 01:56:45 +0000