rmthm
Use a roman font for theorem statements
The author is Nico Verwer.
License: noinfo Version dated: 1991-06-14 Catalogued: 2016-06-24