Dear all, I have revised the study note S-8 Institution-independent semantics for CASL-in-the-large according to a new treatment of symbol maps in the CASL semantics. The study note is now much shorter and simpler than before, yet it achieves the same task as before. It is a document accompanying the soon-appearing semantics of CASL 1.0. Greetings, Till