20130723 tpd src/axiom-website/patches.html 20130722.01.tpd.patch
20130723 tpd src/axiom-website/CATS/rich1b.input
20130723 tpd src/axiom-website/CATS/rich1b.input.pdf
20130723 tpd src/input/rich1b.input