text/obsolete/A-infty.tex
changeset 385 b1da2a454ee7
parent 134 395bd663e20d