[isabelle] AFP submission and smt2



In AFP submission guidelines (http://afp.sourceforge.net/submitting.shtml), I read "No use of the command smt."

But what about smt2? Does the same exclusion hold? 

(I should say I have no idea about the difference between them)

TIA,
Marco





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.