Risa/Asir is available via http from
http://www.math.kobe-u.ac.jp/Asir
This document was generated by Nobuki Takayama on July 27, 2021 using texi2html 1.82.