(macro) display the current abbreviations
Examples: (show-abbreviations v w) -- assuming that v and w currently abbreviate terms, then this instruction displays them together with the terms they abbreviate show-abbreviations -- display all abbreviations
Also see ACL2-pc::add-abbreviation for a general discussion of abbreviations and see ACL2-pc::remove-abbreviations.
General Form: (show-abbreviations &rest vars)
Display each argument in
If the term abbreviated by a variable, say