User contributions for 138.73.27.231

12 January 2015

• 17:0817:08, 12 January 2015 diff hist +330 Time hierarchy theorem minor -- removed incorrect "+1" current

2 July 2014

• 17:4017:40, 2 July 2014 diff hist −2 Arthur–Merlin protocol →MA: removed extraneous period current