/example.sml/1.1.2.1/Mon Jul 14 16:58:46 1997//THOL97
/test.sml/1.1.2.1/Mon Jul 14 16:58:48 1997//THOL97
/var_example.sml/1.1.2.1/Mon Jul 14 16:58:50 1997//THOL97
/var_example2.sml/1.1.2.1/Mon Jul 14 16:58:52 1997//THOL97
