]> mj.ucw.cz Git - saga.git/commit
Cleaned up ackermannian notation.
authorMartin Mares <mj@ucw.cz>
Sat, 19 Apr 2008 12:34:18 +0000 (14:34 +0200)
committerMartin Mares <mj@ucw.cz>
Sat, 19 Apr 2008 12:34:18 +0000 (14:34 +0200)
commit8d579d8ac1250a3c4de77dc3da652c9eff947f6e
tree06b0069fd0ab647e8e008dde07fbc99e6ae4d602
parent7cb6494580b175ca7f258b2c06f84a41ba043e0b
Cleaned up ackermannian notation.
notation.tex