Revision history for entry Hetzl, Stefan: The Computational Content of Arithmetical Proofs [HETTCC]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-21T09:09:01updateSystem / admin update
2021-04-13T16:04:27updateSystem / admin update
2021-03-24T13:26:40updateSystem / admin update
2021-03-21T13:02:15updateSystem / admin update
2019-02-06T22:55:32updateSystem / admin update
2016-02-12T04:11:53update
2015-03-19T20:25:06updateSystem / admin update
2014-04-02T21:18:11updateSystem / admin update
2014-04-02T00:56:07updateSystem / admin update
2014-04-01T00:02:32updateSystem / admin update
2014-03-30T20:35:04updateSystem / admin update
2014-03-29T13:02:50updateSystem / admin update
2014-03-28T13:42:43updateSystem / admin update
2014-03-27T13:54:38updateSystem / admin update
2014-03-26T13:40:25updateSystem / admin update
2014-03-17T17:51:20updateSystem / admin update
2014-03-16T17:44:06updateSystem / admin update
2014-03-15T17:04:29updateSystem / admin update
2014-03-14T18:54:06updateSystem / admin update
2014-03-12T11:53:17updateSystem / admin update
2014-03-11T11:52:57updateSystem / admin update
2014-03-10T11:54:35updateSystem / admin update
2014-03-09T11:53:43updateSystem / admin update
2014-03-08T13:52:54updateSystem / admin update
2014-03-07T13:53:44updateSystem / admin update
2014-03-06T13:53:26updateSystem / admin update
2014-03-05T13:55:02updateSystem / admin update
2014-03-04T13:53:12updateSystem / admin update
2014-03-03T13:52:58updateSystem / admin update
2014-03-02T13:53:05updateSystem / admin update
2014-03-01T13:53:15updateSystem / admin update
2014-02-27T14:08:09updateSystem / admin update
2014-02-26T14:06:25updateSystem / admin update
2014-02-25T14:05:39updateSystem / admin update
2014-02-24T14:07:14updateSystem / admin update
2014-02-23T14:03:06updateSystem / admin update
2014-02-22T14:05:19updateSystem / admin update
2014-02-21T14:06:22updateSystem / admin update
2014-02-20T14:05:22updateSystem / admin update
2013-11-02T13:44:13updateSystem / admin update
2013-10-31T08:51:33updateSystem / admin update
2013-09-18T17:55:27updateSystem / admin update
2013-03-20T13:22:24updateSystem / admin update
2013-03-10T05:36:01updateSystem / admin update
2013-03-01T21:09:38updateSystem / admin update
2013-03-01T21:09:38updateSystem / admin update
2012-09-26T07:20:10updateSystem / admin update
2012-09-25T19:42:35addSystem / admin update