Revision history for entry McCarthy, John (manuscript). "A tough nut for proof procedures" [MCCATN]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-07-27T10:49:51updateSystem / admin update -