I removed the definition of smoothness of Kriegl and Michor and mention the way Hamilton does it in the paper I cite only. I hope that clears up matters for the Azimuth readers.
Besides this point, is there anything else to do? If not, I'm ready.

BTW: If you (anyone) has a comment, it would be easier for me to find it if you use a specific prefix, like "TODO". That's what programmers like and what the integrated development environment "eclipse" supports, for example (it automatically complies a list of all comments containing the string "TODO").

John: I found your comment on the definition of smooth for functions on Fr├ęchet spaces and also the missing page numbers for Hamilton's paper.