Revision history for entry Gordon, Michael J. C. (1979). "Edinburgh Lcf: A Mechanised Logic of Computation" [GORELA-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes