Revision history for entry Bunder, M. W.; Dekkers, W. J. M.: Equivalences between Pure Type Systems and S.. [MWBEBP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2021-05-25T15:17:34updateSystem / admin update
2021-04-13T15:36:06updateSystem / admin update
2021-03-21T12:56:00updateSystem / admin update
2019-02-06T23:58:51updateSystem / admin update
2017-01-21T04:48:54updateSystem / admin update
2015-02-04T23:44:04updateSystem / admin update
2014-03-20T21:30:14updateSystem / admin update
2013-12-01T19:41:12updateSystem / admin update
2013-11-02T22:52:35updateSystem / admin update
2013-11-02T15:14:19updateSystem / admin update
2013-11-02T09:27:45updateSystem / admin update
2013-11-02T07:25:33updateSystem / admin update
2013-10-31T08:52:31updateSystem / admin update
2010-10-28T13:44:44updateSystem / admin update
2010-10-01T19:47:13updateSystem / admin update
2010-09-23T17:09:40addSystem / admin update