Restoring definitions

        Restoring definitionsDM5-3.tex#Saving definitions