Use the Find Definitions view to locate definitions recorded by the system with a given name. Firstly click on 
to ensure you have compiled the buffer displaying the Othello example. Then enter the name of the definition you are searching for in the name area and press
Return
or click on 
to display a list of matches together with their locations. Double-click on a match to display the source.
Figure 12.8 Displaying matches in the Find Definitions view
In addition, after using the
Find Source
editor command (bound to
Alt+.
), the Find Definitions view can be invoked using
Alt+X View Source Search
to give a complete list of the matches.