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-05T03:04:17updateSystem / admin update -
2014-03-09T21:46:04updateSystem / admin update -
2014-03-09T20:43:08updateSystem / admin update -
2014-01-21T00:35:51updateSystem / admin update -
2013-11-22T08:15:36updateSystem / admin update -
2013-11-22T08:15:34updateSystem / admin update -
2013-11-02T06:24:44updateSystem / admin update -
2013-11-02T06:24:35updateSystem / admin update -
2013-11-02T06:23:55updateSystem / admin update -
2013-10-29T21:59:59updateSystem / admin update -
2010-09-14T03:30:12updateSystem / admin update -
2009-12-26T15:31:29update
2009-12-26T15:31:28add