Revision history for entry Trentelman, Kerry; Ruttenberg, Alan; Smith, Barry: An Axiomatisation of Basic .. [TREAAO]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-12-27T10:01:30 | update | System / admin update |
2022-11-25T18:43:15 | update | |
2017-11-04T03:19:33 | update | |
2017-07-19T20:56:57 | update | |
2017-07-04T15:44:00 | update | |
2017-04-17T03:26:42 | update | Local copy uploaded (view this copy) |
2017-01-23T21:56:05 | update | System / admin update |
2015-12-31T14:32:47 | update | |
2014-07-11T21:06:41 | update | |
2013-12-30T16:00:35 | update | |
2013-12-23T15:54:15 | update | |
2013-06-29T01:10:05 | update | System / admin update |
2013-06-28T21:02:31 | update | |
2013-06-28T20:59:57 | add | |
loading ..