Revision history for entry Avigad, Jeremy; Dean, Edward; Mumma, John (2009). "A Formal System for Euclid's Elements" [AVIAFS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-04-05T08:04:17updateSystem / admin update -
2014-03-10T01:46:04updateSystem / admin update -
2014-03-10T00:43:08updateSystem / admin update -
2014-01-21T05:35:51updateSystem / admin update -
2013-11-22T13:15:36updateSystem / admin update -
2013-11-22T13:15:34updateSystem / admin update -
2013-11-02T10:24:44updateSystem / admin update -
2013-11-02T10:24:35updateSystem / admin update -
2013-11-02T10:23:55updateSystem / admin update -
2013-10-30T01:59:59updateSystem / admin update -
2010-09-14T08:30:12updateSystem / admin update -
2009-12-26T20:31:29update
2009-12-26T20:31:28add