many updates in cas-integrate-ablity-axiom-vs-mathematica
updates in cling
a link in axiom wiki