Revision history for entry Paulson, Lawrence C. (1987). "Logic and Computation: Interactive Proof with Cambridge Lcf" [PAULAC]

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