Revision history for entry Nicolai, Carlo: Cut elimination for systems of transparent truth with restrict.. [NICCEF-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-06-28T12:26:08updateLocal copy uploaded (view this copy)
2020-06-16T05:34:35update
2020-06-14T16:13:29update
2020-06-14T16:13:29update
2020-06-14T16:13:29addLocal copy uploaded (view this copy)