; ; $Id$ ; README ------ This tag library contains code to perform casting on OpenMath Objects.