blob: da3445e7793dfc0e51a3552e7ce3729c1b9ca070 (
plain)
1
2
|
; 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/")
|