/demo1.sml/1.1.1.1/Mon Oct 16 13:33:15 1995//THOL97
/demo2.sml/1.1.1.1/Mon Oct 16 13:33:15 1995//THOL97
/demo3.sml/1.1.1.1/Mon Oct 16 13:33:15 1995//THOL97
/demo4.sml/1.1.1.1/Mon Oct 16 13:33:15 1995//THOL97
/demo5.sml/1.1.1.1/Mon Oct 16 13:33:15 1995//THOL97
/demo6.sml/1.1.1.1/Mon Oct 16 13:33:16 1995//THOL97
/parity.sml/1.1.1.1/Mon Oct 16 13:33:16 1995//THOL97
/run.sml/1.1.1.1/Mon Oct 16 13:33:16 1995//THOL97
/simple.sml/1.1.1.1/Mon Oct 16 13:33:16 1995//THOL97
