Revision history for entry Avigad, Jeremy; Towsner, Henry: Functional interpretation and inductive defini.. [AVIFIA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-04-30T13:30:11updateSystem / admin update
2017-02-07T04:01:56updateSystem / admin update
2017-01-21T02:49:47updateSystem / admin update
2016-06-30T13:13:17updateSystem / admin update
2015-02-05T06:59:46updateSystem / admin update
2014-04-05T08:03:52updateSystem / admin update
2014-03-09T22:27:41updateSystem / admin update
2013-11-22T12:12:16updateSystem / admin update
2013-11-04T10:49:58updateSystem / admin update
2013-10-30T01:50:39updateSystem / admin update
2010-09-14T08:30:11addSystem / admin update