Revision history for entry Lyon, Tim; Karge, Jonas: Uniform and Modular Sequent Systems for Description L.. [LYOUAM]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-08-15T17:16:02update
2022-08-15T17:16:02update
2022-08-15T17:16:01addLocal copy uploaded (view this copy)