📄 prover.sig

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

💻 SIG

字号:

Decl 8s$PROVER.sqsN.v$NAME.;-;sS.v$SEQ.;-;sA.v$McAGENT.;-;sNE.v$NAMEEQUATION.;-;sF.v$PFORMULA.;-;sACT.v$ACTION.;-;sB.v$COND.;-;sE.v$ENV.;-;sAS.v$AGENTSUBSEM.;-;sNS.v$NAMESUBSTITUTION.;-;sCST.v$CONSTANT.;-;rA.E.F.S.NS.;;-;

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -