Evans Bekoe wrote: > i need some huge OpenMath files to run my implementation over in order to > derive statistics for my report You probably know it already, but just in case: http://www.ags.uni-sb.de/~mbase/content.tgz (It contains logics, omstd, omega and tps theories in omdoc format.) HTH, Andreas