Revision history for entry Broda, Sabine; Damas, Luís: Compact bracket abstraction in combinatory logic [BROCBA-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-12T13:29:49updateSystem / admin update
2017-01-18T03:10:33updateSystem / admin update
2017-01-18T03:10:33updateSystem / admin update
2016-06-30T13:11:40updateSystem / admin update
2015-02-05T07:10:34updateSystem / admin update
2014-03-31T03:59:07updateSystem / admin update
2013-11-22T12:09:27updateSystem / admin update
2013-11-04T09:20:18updateSystem / admin update