Revision history for entry Needham, Paul: Making Theorem-Proving in Modal Logic Easy [NEEMTI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-01-06T18:07:50update
2020-06-08T08:33:09updateLocal copy uploaded (view this copy)
2018-06-12T12:38:44update
2018-06-11T16:16:15update
2018-06-11T16:16:12add