and corrections to "Terminal coalgebras in wellfounded set theory (1994)

by Additions