Revision history for entry Berardi, Stefano; Bezem, Marc; Coquand, Thierry: On the computational content .. [BEROTC]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-11T13:26:33updateSystem / admin update
2016-06-30T12:28:12updateSystem / admin update
2015-02-05T07:11:54updateSystem / admin update
2013-11-22T12:09:38updateSystem / admin update
2013-11-04T10:46:32updateSystem / admin update