regex
☀️
A-
A+
Filtering...
Clear Filter
two-nats-measure
books/std/misc/two-nats-measure
Included Books
two-nats-measure
other
(
in-package
"ACL2"
)
include-book
(
include-book
"../basic/two-nats-measure"
)