; cert.acl2
; Just loads relevant packages

(in-package "ACL2")
(include-book "centaur/vl2014/portcullis" :dir :system)
(include-book "centaur/gl/portcullis" :dir :system)
(include-book "centaur/esim/portcullis" :dir :system)
(include-book "centaur/aig/portcullis" :dir :system)
; cert-flags: ? t :ttags :all
