User contributions
- 20:52, 18 September 2013 (diff | hist) . . (+232) . . 1266: Halting Problem (Fixed: "Program halts with these parameters" and "Program halts with all parameters" are, in fact, not equivalent.)
- 20:51, 18 September 2013 (diff | hist) . . (+156) . . Talk:1266: Halting Problem