Revision history for entry Kreuzer, Alexander; Kohlenbach, Ulrich (2009). "Ramsey's Theorem for Pairs and Provably Recursive Functions" [KRERTF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-10T07:33:34updateSystem / admin update -
2013-11-02T22:52:58updateSystem / admin update -
2013-11-02T07:27:03updateSystem / admin update -
2010-10-28T13:44:54updateSystem / admin update -
2010-10-13T23:10:52addSystem / admin update -