/algebra.sml/1.2/Wed Oct 18 15:54:25 1995//THOL97
/mil.sml/1.2/Wed Oct 18 15:54:29 1995//THOL97
/opsem.sml/1.2/Wed Oct 18 15:54:30 1995//THOL97
/run_examples/1.2/Wed Oct 18 15:54:32 1995//THOL97
/cl.sml/1.2.4.2/Fri Jul 11 19:56:58 1997//THOL97
