Revision history for entry Michelbrink, Markus (2006). "A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection" [MARABD]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-10-28T13:39:36updateSystem / admin update -
2010-10-02T02:25:14updateSystem / admin update -
2010-09-23T17:30:35addSystem / admin update -