Added "Hold" in definitions of "makeSet" and "makeTuple"
Merge branch 'master' of https://github.com/windsteiger/Theorema
Added comment to definitions of 'makeSet' and 'makeTuple'