Proceedings on infinite dimensional holomorphy, University of Kentucky 1973, (Lecture notes in mathematics)