Revision history for entry Dybjer, Peter: A general formulation of simultaneous inductive-recursive defin.. [DYBAGF]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-12-10T16:40:51 | update | System / admin update |
2017-04-24T10:18:30 | update | System / admin update |
2016-06-30T12:29:12 | update | System / admin update |
2015-02-05T07:18:48 | update | System / admin update |
2013-11-22T12:10:19 | update | System / admin update |
2013-11-04T09:24:42 | update | System / admin update |
loading ..