Revision history for entry Sjögren, Jörgen: A Note on the Relation Between Formal and Informal Proof [SJGANO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-12-31T16:22:27updateSystem / admin update
2019-12-31T16:18:17updateSystem / admin update
2019-11-26T19:31:59updateSystem / admin update
2019-02-06T20:24:55updateSystem / admin update
2017-02-23T02:18:48updateSystem / admin update
2017-02-23T02:16:48updateSystem / admin update
2017-01-20T21:59:16updateSystem / admin update
2015-03-18T01:32:08updateSystem / admin update
2015-02-12T13:17:35updateSystem / admin update
2015-02-12T13:16:56updateSystem / admin update
2015-02-07T09:19:20updateSystem / admin update
2015-02-07T09:18:28updateSystem / admin update
2014-01-23T05:55:04updateSystem / admin update
2013-11-01T13:59:40updateSystem / admin update
2013-10-27T02:50:48updateSystem / admin update
2013-10-27T02:39:42updateSystem / admin update
2010-11-17T09:12:39updateSystem / admin update
2010-10-14T00:11:17updateSystem / admin update