File: history (Probably text)
File: machine (Probably text)
File: machine,v (Probably text)
File: moore-school-lectures (Probably text)
File: note1 (Probably text)
File: note2 (Probably text)
File: outline (Probably text)
File: philosophy (Probably text)
File: talk (Probably text)