Constant assignment macro instructions of SCMFSA (1996)

by Noriko Asamoto
Venue:Part II. Journal of Formalized Mathematics