Revision history for entry Granström, Johan Georg: Treatise on intuitionistic type theory [GRATOI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2024-01-22T07:18:21updateSystem / admin update
2024-01-15T00:14:58updateSystem / admin update
2023-09-20T11:49:21updateSystem / admin update
2023-09-07T12:23:16updateSystem / admin update
2021-11-17T21:03:49updateSystem / admin update
2014-03-28T07:45:37updateSystem / admin update
2014-03-16T15:30:37updateSystem / admin update
2012-04-20T21:51:45update
2011-12-25T12:18:22updateSystem / admin update
2011-12-25T12:18:22addSystem / admin update