Refactor :search to remove code duplication and name shadowing
Try symmetry of equality in :search
Fix logical error in :search's unification resolution
Annotate several top-level functions
Merge pull request #1505 from tac-tics/top-level-annots

Annotate several top-level functions
Merge pull request #1507 from bmsherman/improveSearch

Symmetry of equality (and small fix) for :search
Add :printdef command to show the definition of a pattern-matching operation
Merge pull request #1509 from david-christiansen/patdefs-cmds

Add :printdef command to show the definition of a pattern-matching operation