File time.sml: Testing structure Time... test1 OK test2a OK test2b OK test2c OK test2d OK test2e OK test3a OK test3b OK test3c OK test4a OK test6a OK test7a OK test8a OK test9a OK test9b OK test10a OK test10a OK test10a OK test10a OK test10a OK test10a OK test10a OK test10a OK test10a OK test10a OK test10b OK test10b OK test10b OK