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 _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
