Symposium on the Mathematical Heritage of Hermann Weyl (1987 Duke University)