(in-package "ACL2")

(defdoc hacker
  ":Doc-Section hacker

  functions for extending ACL2 in ways that are potentially unsound.~/

  The ~c[books/hacking] library.

  These functions typically require an active ttag (~l[defttag]) to work.~/
  ~/")
