pseudo-event-form-fix

Included Books

deffixer pseudo-event-formp constructors

other

(in-package "ACL2")

include-book

(include-book "std/util/deffixer" :dir :system)

include-book

(include-book "system/pseudo-event-formp" :dir :system)

include-book

(include-book "xdoc/constructors" :dir :system)

other

(deffixer pseudo-event-form-fix
  :parents (pseudo-event-formp)
  :short "Fixer for @(tsee pseudo-event-formp)."
  :pred pseudo-event-formp
  :body-fix '(_))