This disambiguation template is used to identify pages which list articles associated with the same title.
Place this line:
at the top of the disambiguation page.
The rest of the disambiguation page is to contain links to, and a brief description of, the pages which may be the intended destination.
(taken from ProofWiki's template:disambig)