* Module amslatex: Sources for +amsbooka+ added.