Revision history for entry Lampert, Fabio: Natural Deduction for Diagonal Operators [LAMNDF-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-02-04T11:43:18update
2018-01-02T20:12:41update
2018-01-02T20:12:41updateSystem / admin update
2018-01-02T20:12:41updateSystem / admin update
2017-06-13T16:53:42updateLocal copy uploaded (view this copy)
2017-06-09T04:18:42update
2017-06-09T04:18:42update
2017-06-09T04:18:42update
2017-06-09T04:18:42update
2017-06-09T04:18:42update
2017-06-09T04:18:41add