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.
Time | Type | Notes |
2019-12-31T16:22:27 | update | System / admin update |
2019-12-31T16:18:17 | update | System / admin update |
2019-11-26T19:31:59 | update | System / admin update |
2019-02-06T20:24:55 | update | System / admin update |
2017-02-23T02:18:48 | update | System / admin update |
2017-02-23T02:16:48 | update | System / admin update |
2017-01-20T21:59:16 | update | System / admin update |
2015-03-18T01:32:08 | update | System / admin update |
2015-02-12T13:17:35 | update | System / admin update |
2015-02-12T13:16:56 | update | System / admin update |
2015-02-07T09:19:20 | update | System / admin update |
2015-02-07T09:18:28 | update | System / admin update |
2014-01-23T05:55:04 | update | System / admin update |
2013-11-01T13:59:40 | update | System / admin update |
2013-10-27T02:50:48 | update | System / admin update |
2013-10-27T02:39:42 | update | System / admin update |
2010-11-17T09:12:39 | update | System / admin update |
2010-10-14T00:11:17 | update | System / admin update |
loading ..