Revision history for entry Howard, W. A.: Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and type.. [HOWJGP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-21T17:57:06updateSystem / admin update -
2019-05-18T14:29:38updateSystem / admin update -
2019-05-18T13:39:10addSystem / admin update -