Revision history for entry Dawson, Jeremy E.: Formalised Cut Admissibility for Display Logic [DAWFCA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2021-12-28T12:50:29updateSystem / admin update
2017-01-21T23:28:13updateSystem / admin update
2011-01-21T04:00:57addSystem / admin update