Do not change the name of "definitions.tex" because it is invoked with this name by the other files.
Most likely you can dowload a file using a selection on the right button on your mouse, the one similar to "Save link as ..." or "Save link target as ...". Place the mouse over the link whose content you want to save.
(You can also see a better written course by Harold P. Boas at TAMU.)