Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994: Proceedings (Lecture Notes in Computer Science)