Revision history for entry Avigad, Jeremy: Interpreting classical theories in constructive ones [AVIICT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-09T13:39:02updateSystem / admin update
2016-06-30T12:29:17updateSystem / admin update
2015-02-05T07:23:24updateSystem / admin update
2015-01-31T14:26:31update
2014-04-05T08:01:52updateSystem / admin update
2014-04-05T08:01:50updateSystem / admin update
2013-11-22T12:10:18updateSystem / admin update
2013-11-04T10:47:55updateSystem / admin update
2011-03-03T19:03:22update
2011-03-03T19:03:22update
2011-03-03T19:03:18update
2010-09-14T08:30:31updateSystem / admin update
2010-09-14T08:30:13updateSystem / admin update