Revision history for entry Avigad, Jeremy: Ordinal analysis without proofs [AVIOAW]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-03-17T07:32:02updateSystem / admin update
2014-04-05T08:03:03updateSystem / admin update
2010-09-14T08:30:12updateSystem / admin update