Mercurial > repo
changeset 8846:a34a06383369
<oerjan> slwd hydra//s/ \\(is \\)\\?at/:/g
author | HackBot |
---|---|
date | Tue, 26 Jul 2016 00:26:39 +0000 |
parents | 5829d0d8c710 |
children | 6ebc0a15b087 |
files | wisdom/hydra |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/wisdom/hydra Tue Jul 26 00:24:18 2016 +0000 +++ b/wisdom/hydra Tue Jul 26 00:26:39 2016 +0000 @@ -1,1 +1,1 @@ -hydra is at http://www.madore.org/~david/math/hydra0.xhtml , dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem +hydra: http://www.madore.org/~david/math/hydra0.xhtml , dire hydra: http://www.madore.org/~david/math/hydra.xhtml , theory: http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem