Title: Proceedings of the 1977 Isabelle Summer Workshop, July 18-29, 1977