📄 sequent.sml

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

💻 SML

字号:

Decl 8f%Sequent.f-sqsFormula.v$FORMULA.;-;sCondition.v$CONDITION.;-;sDefList.v$DEF_LIST.;-;sAgent.v$McAGENT.;-;rFormula.Condition.Agent.DefList.;;;sqsF.vFormula.;-;sC.vCondition.;-;sD.vDefList.;-;sA.vAgent.;-;rA.C.D.F.;;+v$SEQUENT.;;

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -