subsequents.sml

这是我们参加06年全国开源软件的竞赛作品

Decl 8
f%SubSequent.f-sqsName.v$NAME.;-;sAgent.v$McAGENT.;-;rName.Agent.;sConstant.v$CONSTANT.;-;sFormula.v$PFORMULA.;-;rFormula.Name.Constant.;sAgsubsem.v$AGENTSUBSEM.;-;rAgsubsem.Name.Agent.;sNs.v$NAMESUBSTITUTION.;-;rNs.Agsubsem.Name.;sNameeq.v$NAMEEQUATION.;-;rNameeq.Name.;sAction.v$ACTION.;-;rFormula.Action.Name.Agent.;sEnv.v$ENV.;-;rEnv.Agent.;;;sqsN.vName.;-;sF.vFormula.;-;sA.vAgent.;-;sNE.vNameeq.;-;sCST.vConstant.;-;sAS.vAgsubsem.;-;sACT.vAction.;-;sNS.vNs.;-;sE.vEnv.;-;rA.E.F.N.NE.AS.NS.ACT.CST.List.McList.;;+v$SEQ.;;