blob: 97f70eeb7a4365aaf946cec18e6400b5f8b7a36d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
;; Silly file to trick cert.pl into including the right books.
(in-package "ACL2")
#||
(include-book "ordinals/lexicographic-ordering" :dir :system)
(include-book "data-structures/list-defuns" :dir :system)
(include-book "data-structures/list-defthms" :dir :system)
(include-book "make-event/defspec" :dir :system)
(include-book "data-structures/list-defuns" :dir :system)
(include-book "data-structures/list-defthms" :dir :system)
(include-book "meta/term-defuns" :dir :system)
||#
|