sequent.sig

来自「这是我们参加06年全国开源软件的竞赛作品」· SIG 代码 · 共 3 行

Decl 8
s$SEQUENT.sqsF.v$FORMULA.;-;sC.v$CONDITION.;-;sD.v$DEF_LIST.;-;sA.v$McAGENT.;-;rA.C.D.F.;;-;