Thanks, your query led to my belated discovery of http://cs.stanford.edu/jmc http://cs.stanford.edu/jmc And this: http://library.stanford.edu/collections/john-

Thanks, your query led to my belated discovery of http://cs.stanford.edu/jmc http://cs.stanford.edu/jmc And this: http://library.stanford.edu/collections/john-mccarthy-papers-0 http://library.stanford.edu/collections/john-mccarthy-papers... Agreed, tho, the links should be salvaged.