/Omega_AutomataScript.sml/1.2/Thu Dec 28 15:15:23 2000//
/Past_Temporal_LogicScript.sml/1.2/Thu Dec 28 15:15:24 2000//
/Temporal_LogicScript.sml/1.3/Thu Dec 28 15:15:25 2000//
/schneiderUtils.sig/1.1/Thu Dec 28 15:15:23 2000//
/schneiderUtils.sml/1.2/Thu Dec 28 15:15:23 2000//
/temporalLib.sig/1.1/Thu Dec 28 15:15:24 2000//
/temporalLib.sml/1.4/Thu Dec 28 15:15:22 2000//
D
