changed odoctest and thih.ml
added odoctest