Revision history for entry Lo, Libo: The τ-theory for free groups is undecidable [LOTTF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-01-18T20:22:06updateSystem / admin update
2016-06-30T13:05:21updateSystem / admin update
2015-02-05T07:07:11updateSystem / admin update
2013-11-22T12:03:27updateSystem / admin update
2013-11-04T10:50:39updateSystem / admin update