Filtering...

theorem-queries

books/std/system/theorem-queries

Included Books

classes classes-plus guard-verified-p guard-verified-p-plus thm-formula thm-formula-plus
other
(in-package "ACL2")
include-book
(include-book "classes")
include-book
(include-book "classes-plus")
include-book
(include-book "guard-verified-p")
include-book
(include-book "guard-verified-p-plus")
include-book
(include-book "thm-formula")
include-book
(include-book "thm-formula-plus")
other
(defxdoc std/system/theorem-queries
  :parents (std/system)
  :short "Utilities to query theorems."
  :long (topstring-p "These utilities retrieve properties of theorems in the @(see world)."))