path: root/books/workshops/2006/pike-shields-matthews/core_verifier/RC6/cert.acl2

; Commented out by Matt K.:
; (add-include-book-dir :super-ihs "/Users/leepike/shade/aamp/model/super-ihs/") (add-include-book-dir :books "/Users/leepike/shade/acl2_scratch/core_verifier/books/")